BODY {
   background-image : url(/images/sfondo-menu.gif);
   background-repeat : no-repeat;
   padding : 2px;
}

A.menu {
   color : #004a80; 
   background-color : transparent; 
   margin-right : 10px; 
   margin-left : 5; 
   /* font-size : 100%; */
   font-size : 75%; 
   font-family : sans-serif;
   text-decoration : none; 
}

DIV.line {
   margin-top : 5px;
   margin-bottom : 5px;
}

DIV.highlight {
   color : #c2dfef; 
   background-color : #004a80; 
   margin-right : 10px; 
   margin-left : 5; 
   font-size : 100%; 
   font-family : sans-serif;
   text-decoration : none; 
   text-indent : 5px;
}