body { color: #FFFFFF; font-size: 16px; font-family: Verdana, Arial, Helvetica, sans-serif; 
   background-color: #555e69 ; margin-top: 10px; margin-left: 25px; }

a { color: #FFFF99; font-size: 1em; text-decoration: underline  }
a:visited { color: #FFFFCC; font-size: 1em;}
a:hover { color: #d3d3d3; font-size: 1em; text-decoration: none  }
a:active { color: #FFFFCC; font-size: 1em;}
h1 { color: #E5E5E5; font-size: 30px; }
h3 { color: #E5E5E5; font-size: 24px; }
.eigen { color: olive; }
a:hover {  }