body {background-color: rgb(240, 250, 255);font-size:12px;font-family:sans-serif;}
    a.button{ font-size:12px; font-family:sans-serif; text-decoration:none;}
    a.big{ font-size:13px; font-family:sans-serif;}
    a {font-family:times; font-weight:bold;}
    a:link {color:#000090;}
    a:visited {}
    a:hover {
      color: #0F60FF; 
      background-color: #ddddff; 
      text-decoration: underline;}
    a:focus {color: #0F8888;}
    td.button {border-style:outset; text-align:center; font-weight:bold; }