body { 
    margin-left: 1%; 
    margin-right: 1%; 
    font-family: bank gothic,Arial,Helvetica,sans-serif;
    font-size: 11pt;
  }
  div.menu { 
    border: none; 
    border-width: thin;  
    width: 700px;
    background-color: #c8c8c8;
    color: #000000;
  }
  div.main { 
    border: none; 
    border-width: thin;  
    width: 700px;
    background-color: #f6f6f6;
    font-family: arial, helvetica, sans-serif;
  }
  a {
    color: #000000; 
    text-decoration: none; 
  }
  a:visited {
    color: #000000;
  }
  a:hover { 
    color: #000000;
    background-color: #ececec;
  }

  a.busy {
    color: #0000ff;
    text-decoration: none;
  }