a:link, a:visited { color: #0079c0; text-decoration: underline; }
a:hover, a:active { color: #8cc540; text-decoration: underline; }

body { font: 1.0em Verdana, Arial, sans-serif; margin: 0px; }

.menu { font-size: 15px; color: #3FB8FF; }
a.menu:link                 { font-size: 14px; color: #3FB8FF; text-decoration: none; }
a.menu:visited              { font-size: 14px; color: #3FB8FF; text-decoration: none; }
a.menu:hover, a.menu:active { font-size: 14px; color: #FFFFFF; text-decoration: underline; }

.menu-sm { font-size: 9px; color: #3FB8FF; font-weight: bold; }
a.menu-sm:link                    { font-size: 9px; color: #3FB8FF; font-weight: bold; text-decoration: none; }
a.menu-sm:visited                 { font-size: 9px; color: #3FB8FF; font-weight: bold; text-decoration: none; }
a.menu-sm:hover, a.menu-sm:active { font-size: 9px; color: #FFFFFF; font-weight: bold; text-decoration: underline; }

.highlight { color: #FF0000; font-weight: bold; }
a.highlight:link                      { color: #FF0000; font-weight: bold; text-decoration: none; }
a.highlight:visited                   { color: #FF0000; font-weight: bold; text-decoration: none; }
a.highlight:hover, a.highlight:active { color: #FF0000; font-weight: bold; text-decoration: underline; }

.external { color: #FF0000; }
a.external:link                     { color: #FF6600; text-decoration: none; }
a.external:visited                  { color: #FF6600; text-decoration: none; }
a.external:hover, a.external:active { color: #FF6600; text-decoration: underline; }

h1 { font-size: 150%; font-weight: normal; }