simplifications diverses et jquerysiation du JS du bandeau, et correction du bug #559; note: j'ai laisse la fonction sous le nom changestyle() car elle est compatible ascendante, mais son vrai nom serait fermer_menu() ou qq chose comme ca...