body {
    font-family: Arial;
    font-size: 12px;

    background-color: #FFF;
    margin: 0;
  }

  ul.nav {
    margin: 0;
    padding-bottom: 5px;
  }

  ul.nav li {
    margin: 0;
    padding: 8px;
    border: 0px solid #999;
    list-style-type: none;
    display: inline;
  }

  ul.nav li a {
    color: #FFF;
    font-weight: bold;
    font-size: 12px;

    width: 40px;
    padding: 6px;
    text-align: center;
    text-decoration: none;

    /*border-left: 1px dotted #FFF;*/
    padding-left: 20px;
    padding-right: 20px;
    padding-bottom: 12px;
    border: 1px dotted #FFF;
    border-bottom: 0;
    margin: 0;
  }

  ul.nav li a:hover {
    /*padding-bottom: 7px;*/
    background-color: #2E307E;
  }

  a, a:visited {
    color: #2B5C90;
  }

  a:hover, a:visited:hover {
    color: #800000;
  }

  a.blue {
    color: #c0c0ff;
  }

  a.blue:hover, a.green:hover, a.red:hover, a.orange:hover, a.purple:hover {
    color: #FFF;
    text-decoration: none;
  }

  a.green {
    color: #80ff80;
  }

  a.red {
    color: #fe5454;
  }

  a.orange {
    color: #AC5100;
  }

  a.purple {
    color: #710072;
  }

  #green:hover {
    /*border-bottom: 10px solid green;*/
    background-color: #005400;
  }

  #red:hover {
    /*border-bottom: 10px solid red;*/
    background-color: #880000;
  }

  #orange:hover {
    background-color: #AC5100;
  }

  #purple:hover {
    background-color: #710072;
  }

  div.header {
    background-color: #000040;
    background-image: url(/images/header_bg_3.gif);

    background-position: top left;

    color: #FFF;

    /*height: 60px;*/
    padding: 20px;
    padding-bottom: 0px;
    /*height: 100px;*/


    border-bottom: 10px solid red;
  }

  div.header a, div.header a:visited {
    color: #FFF;
  }

  div.subheader {
    background-color: #000;
    /*#D0D0D0;*/
    color: #FFF;
    border-top: 6px solid #2E307E;
    padding: 6px;
    height: 15px;
    margin-bottom: 0px;
  }

  div.shadow {
    background-image: url(/images/shadow.gif);
    background-repeat: repeat-x;
    height: 8px;
    margin: 0;
    margin-bottom: 20px;
  }

  div.content {
    margin-left: 40px;
  }

  div.sidecontent {
    margin-top: 5px;
    margin-bottom: 35px;
    padding: 10px;

    background-color: #F1F1F1;
    border-top: 2px solid #46708D;
  }

  div.hidden {
    display: none;
  }

  .white {
    color: #FFF;
  }

  font.header {
    color: #46708D;
    font-weight: bold;
    font-size: 16px;
  }