div#menu-horizontal {
   margin-left:10px; 
}


div#menu-horizontal ul {
   padding:0;
   margin:0;
   list-style-type:none;
 }
div#menu-horizontal li {
   margin-left:2px;
   float:left; /*pour IE*/
}
div#menu-horizontal ul li a {
   display:block;
   float:left;   
   width:170px;
   background-color:#6495ED;
   text-decoration:none;
   text-align:center;
   padding:5px;
   font-family:times-new-roman;
   font-size:1.38em;
   font-weight:bold; 
   color:white; 
   border:2px solid;
   /*pour avoir un effet "outset" avec IE :*/
   border-color:#DCDCDC #696969 #696969 #DCDCDC;
}
 
div#menu-horizontal ul li a:hover {
   font-family:times-new-roman;
   font-size:1.38em;
   font-weight:bold;
   color:black; 
   background-color:#D3D3D3;
   border-color:#696969 #DCDCDC #DCDCDC #696969;
}