@charset "iso-8859-1";
/* CSS Document */
#menu .mairie {
    background: #990000;
}