/******************     estilos menús y submenús    ******************/ 
div.menu{
 /*border:1px solid #77AAAA;*/
 border-top:1px solid #77AAAA;
 border-bottom:1px solid #77AAAA;
 filter:alpha(opacity=90);
 opacity:.90;
 moz-opacity:0.90;
 background-color:#669999;
}

div.menu ul{
 margin:0px;
 padding:0px;
 list-style-type:none;
}

div.menu table{
 display:table;
 table-layout:auto;
}

div.menu a{
 padding-top:3px;
 padding-right:0px;
 padding-bottom:3px;	/*El padding-left se establece en gesmenus2.js*/
 color:#FFFFCC;
 display:block;
 font-size:10pt;
 text-align:center;
 /*border:1px solid orange;*/
}

div.menu a span{
 position:static;
 height:1px;
 font-size:1px;							/*IE*/
 line-height:0px;						/*IE*/
 border-top:1px solid #E5E5E5;
 display:block;
}

div.menu a:hover{
 color:#444444;
 background-color:#77AAAA;
}

div.menu a.doc_actual{
 font-weight:bold;
}