/*menu*/
.interactivite 
{
text-align: center;
margin-left: 215px;
position : absolute;
   left: 10px;
   top: 130px;
   width: 535px; 
   height: 20px;
background: url(ligne.jpg);
}
.interactivite a 
{
margin-right: 7px;
margin-left: 7px;
color: rgb(0,0,128);
   font-weight: normal;
   font-variant: normal;
   text-decoration: none;
   font-size: 0.7em;
   font-family:  "Trebuchet MS", "Times New Roman", Arial, Times, serif;
}
.interactivite a:hover 
{
background-color: rgb(0,147,0);
   color: rgb(183,219,255);
}
#menu
{
   float: left;
   margin: auto;
   position: absolute;
   left: 10px;
   top: 5px;
   width: 200px; /*23*/
}
#menu .normal
{
margin-top:-30px;
margin-bottom:0px;
font-size:1.0em;
}
#menu .compt
{
margin-top:0px;
margin-bottom:0px;
font-weight:bold;
text-align: center;
}
.element_menu
{
   background-color: rgb(206,255,206);
   margin-bottom: 10px; /* Pour éviter que les éléments du menu ne soient trop collés */
   position: relative;
   padding-bottom:-15px;
}
	/* Quelques effets sur les menus */
/* propriétés communes à l'ensemble des 4 coins */
.hautgauche, .hautdroit, .basgauche, .basdroit {
height: 19px; width: 19px;
background-repeat: no-repeat;
font-size:1px; /* correction d'un bug IE */
}
/* propriétés spécifiques à chaque coin */
.hautgauche {
background: url(hautgauche.jpg);
}
.hautdroit {
float: right;
background: url(hautdroit.jpg);
}
.basgauche {
background: url(basgauche.jpg);
}
.basdroit {
float: right;
background: url(basdroit.jpg);
}	
	/* Quelques effets sur les menus */
	
.element_menu h3 /* Tous les titres de menus */
{   
   margin-left:15px;
   margin-top: -15px;
   margin-bottom: 5px;
   color: rgb(0,147,0);
   text-decoration: underline;
   font-weight: bolder;
   font-family: "Trebuchet MS", "Arial Black", "Times New Roman", Times, serif;
   text-align: center;
   font-size: 1.1em;
}
.element_menu h3 span
{
text-decoration: underline;
margin-left:-13px;
}

.element_menu ul /* Toutes les listes à puces se trouvant dans un menu */
{
   padding: 0px; /* Tous les côtés ont une marge intérieure de 0 pixels */
   padding-left: 20px; /* ... mais on modifie ensuite la marge de gauche, donc celle-là fera finalement 20 pixels */
   margin: 0px; /* Idem pour margin, ça nous évite d'avoir à en écrire 4 (margin-left, margin-right...) */
   margin-bottom: 5px; /* Même chose que tout à l'heure, on modifie ensuite juste margin-bottom, mais tous les autres sont à 0px */
font-size: 0.9em;
   }


.element_menu a /* Tous les liens se trouvant dans un menu */
{
   color: rgb(0,0,128);
   font-weight: normal;
   font-variant: normal;
      text-decoration: none;
	  font-size: 1.1em;
	  font-family: "Trebuchet MS", "Times New Roman", Arial, "Arial Black", Times, serif;
	  
}

.element_menu a:hover /* Quand on pointe sur un lien du menu */
{
   background-color: rgb(0,147,0);
   color: rgb(183,219,255);
}
.element_menu .pet /* Tous les liens se trouvant dans un menu */
{
   color: rgb(0,0,128);
   font-weight: normal;
   font-variant: normal;
      text-decoration: none;
	  font-size: 0.9em;
  font-family: "Trebuchet MS", "Times New Roman", Arial, "Arial Black", Times, serif;
}
.element_menu .der  /* pour qu'il n'y est pas trop d'espace à la fin d'un élément menu*/
{
margin-bottom:-5px;
display:block;
}

/*fin menu*/