a.menu:link  { color: #008000; text-decoration: none; font-family: Arial; font-size: 10 pt }
a.menu:visited { color: #008000; text-decoration: none; font-family: Arial; font-size: 10 pt }
a.menu:active { color: #800000; text-decoration: underline; font-family: Arial; font-size: 
               10 pt }
a.menu:hover { color: #800000; font-family: Arial; font-size: 10 pt; text-decoration: 
               underline }
a.opciones:link { color: #000080; text-decoration: none; font-family: Arial; font-size: 10 pt; 
               font-weight: bold }
a.opciones:visited { color: #000080; text-decoration: none; font-size: 10 pt; font-family: Arial; 
               font-weight: bold }
a.opciones:active { color: #800000; text-decoration: none; font-family: Arial; font-size: 10 pt; 
               font-weight: bold }
a.opciones:hover { color: #800000; font-size: 10 pt; font-family: Arial; font-weight: bold }
a.hist:link  { color: #000000; text-decoration: none; font-family: Arial, Helvetica, sans-serif; font-size: 10px}
a.hist:visited { color: #6666FF; text-decoration: none; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px}
a.hist:active { color: #006600; text-decoration: none; font-family: Arial, Helvetica, sans-serif; font-size: 10px}
a.hist:hover { color: #FFFFFF; font-family: Arial, Helvetica, sans-serif; font-size: 10px }
a.gris:link  {
	color: #FFFFFF;
	text-decoration: underline;
	font-family: Arial;
	font-size: 10 pt;
	font-weight: bold;
}
a.gris:visited {
	color: #FFFFFF;
	text-decoration: underline;
	font-family: Arial;
	font-size: 10 pt;
	font-weight: bold;
}
a.gris:active { color: #FFFFFF; text-decoration: underline; font-family: Arial; font-size: 10 pt; 
               font-weight: bold }
a.gris:hover {
	color: #FFFF00;
	font-family: Arial;
	font-size: 10 pt;
	font-weight: bold;
	text-decoration: underline;
}