speravo ci fosse un modo di combinare funzioni di onmouseover e onmouseout nei due div per ovviare all'inconveniente, ma evidentemente non è così. Ti ringrazio per l'aiuto datomi finora, cercherò altre soluzioni per questo problema.