a:hover {text-decoration: underline overline; color: #006600; font-weight:bold}
a:link {color: #006600; font-weight:bold}
a:visited {color: #000000; font-weight:bold}
a:active {color: #006600}
body {SCROLLBAR-FACE-COLOR: #FFFFFF; SCROLLBAR-HIGHLIGHT-COLOR: #B0C4DE; SCROLLBAR-TRACK-COLOR: #FFFFFF; SCROLLBAR-ARROW-COLOR: #009900; background-attachment:FIXED; margin:0; padding: 0px}

h1 {font-family: Georgia, "Times New Roman", Times, serif; font-size: 24px; text-align: center; filter: Glow(Color=#000000, Strength=2); line-height: normal; HEIGHT: 10px; color: #FF6600}
h2 {font-family: Georgia, "Times New Roman", Times, serif; font-size: 20px; text-align: center; filter: Glow(Color=#000000, Strength=1); line-height: normal; HEIGHT: 10px; color: #FF6600}

HR {border: #808080 dotted}

#fm {font-family: Georgia, "Times New Roman", Times, serif; font-size: 11px; color: #DA5200; text-align: left; vertical-align: top; padding: 0px 5px 0px 10px}
#fmb {font-family: Georgia, "Times New Roman", Times, serif; font-size: 12px; color: #B22222; text-align: left; vertical-align: top; padding: 0px 0px 14px 3px}
#inf {font-family: Georgia, "Times New Roman", Times, serif; font-size: 11px; color:#006600; text-align: left; border: 1px #006600 dashed; margin: 15px 0px 0px 0px; padding: 3px}
#fmr {font-family: Georgia, "Times New Roman", Times, serif; font-size: 11px; color: #FF6600; text-align: right; vertical-align: center; margin:0; padding: 0px}
#menu {font-family: Georgia, "Times New Roman", Times, serif; font-size: 14px; text-align: center; filter: Glow(Color=#000000, Strength=2); line-height: normal; HEIGHT: 17px; color: #FF6600}
#navigator {background-color: #FF6600; border-bottom: 2px solid white; padding-left: 9px; text-align: left; color: black; height: 17px; font: bold 13px Arial;}


#cifra {font-family: "Courier New", Courier, mono; font-size: 12px; font-weight:bold; color: #008000}
#ftext {font-family: Georgia, "Times New Roman", Times, serif; font-size: 14px; color: #000000; padding-left: 15px}

#tost {font-family: Georgia, "Times New Roman", Times, serif; font-size: 30px; color: #FF6600} 
#red {color: #FF6600} 
#chocolate {color: #FF6600} 
#blue {color: #0000CC} 
#green {color: #008000}