body {  font-family: Arial, Helvetica, sans-serif; font-size: 90%}
a {  color: #999999; font-weight: bold; text-decoration: none}
.submenu {  font-size: smaller; text-decoration: none}
.invertido {  font-weight: bold; color: #FFFFFF; background-color: #213184}
.invertido_red { font-weight: bold; color: #FFFFFF; background-color: #CC0000}