ul#menu_horizontal { 
width : 100%; 
height : 30px;
margin : 0 0 0 0;
padding : 0;
background-color : #3b72c7;
border : 0px;
list-style-type : none; 
}
 
ul#menu_horizontal li {
padding : 0;  
line-height : 30px;
}
 
ul#menu_horizontal li.bouton_gauche {
float : left;
}
 
ul#menu_horizontal li.bouton_droite {
float : right;
}
 
ul#menu_horizontal a {
color: white;
text-decoration : none;
padding :  10px; 
border-radius: 0px;
font-size : small;
}
 
ul#menu_horizontal a:hover { 
text-decoration : none; 
color: #f3d24c;
border: 0px;
border-radius: 0px;
padding: 0px 10px 0px 10px;
margin: 0px;
}
 
ul#menu_horizontal a img { 
border : none;
padding :  0 0.3em;
}

/*********** colors and borders ***********/

body { /* defaults */
background-color: white;
color: grey;
}

#titlebar,{ /* structure backgrounds */
background-color: #f0f0f0;
}

h1, h2, h3, h4, a.anchor { /* structure foregrounds */
color: #ba942b;
}

a { /* navigation / links */
color: #3b72c7;
text-decoration : none; 
}

a:hover {
color: white;
background-color: #3b72c7;
border-radius: 2px;
}

.emph { /* emphasis */
color: darkGreen;
font-weight: bold;
}

#main { /* color and style of borders */
border-color: #a9a9a9;/*#152063;*/
border-style: solid;
border-width: 1px;
}

/*********** Fonts and text decorations ***********/

body { /* defaults */
font-family: arial,helvetica,sans-serif;
font-size: 95%;
}

h1 {
text-decoration: none;
font-size: 1.5em;
}

h2, h3 {
text-decoration: none;
font-size: small;
}

a.anchor {
text-decoration: none;
}

a.anchor:hover {
text-decoration: none;
}

/*********** Spacing, margins, padding, alignment ***********/

body {
margin: 0px;
padding: 0px 5px 0px 5px;
text-align: justify;
}

#titlebar {
text-align: center;
margin: 0px;
padding: 0px;
}

h2 {
padding: 10px;
background-color: #f0f0f0;
border-radius: 5px;
text-align: center;
}

p {
  margin: 10px;
}

body.li {
 margin: 10px;
}
/*********** Footer ***********/

div.footer {
font-size: 85%;
color: darkGray;
margin-top: 20px;
text-align: center;
border: 0px;
padding: 10px;
background-color: #f0f0f0;
}