a:link { color: rgb(255, 255, 172);
    text-decoration: none;
    }

  a:visited { color: rgb(255, 255, 172);
    text-decoration: none;
    }

  a:active { color: rgb(255, 255, 172);
    text-decoration: none;
    }

  a:hover { color: rgb(255, 255, 172);
    text-decoration: underline;
    }

  body { color: rgb(255, 255, 172);
    background-color: rgb(51, 102, 153);
    font-size: 24pt;
    font-family: sans-serif;
    margin-left: 20px;
    }

  h1 { font-size: 30pt;
    }

  li { margin-bottom: 20px;
    }

  li.sub { margin-bottom: 0px;
    }

  li.subu { margin-bottom: 0px;
    list-style-type: none;
    }

  li.sub2 { margin-bottom: 0px;
    }

  a.none { text-decoration: none;
    }

  body.toc { color: rgb(255, 255, 172);
    background-color: rgb(51, 102, 153);
    font-size: 18pt;
    font-family: sans-serif;
    }

  li.toc { margin-bottom: 0px;
    }

  body.title { color: rgb(255, 255, 172);
    background-color: rgb(51, 102, 153);
    font-family: sans-serif;
    }

  h1.title { font-size: 64pt;
    text-align: center;
    margin-bottom: 60px;
    line-height: 150px;
    }

  h2.title { font-size: 48pt;
    text-align: center;
    }

  h3.title { font-size: 36pt;
    text-align: center;
    }

  h1.applet { font-size: 30pt;
    text-align: center;
    }

  img.navbutton { border-width: 0px;
    margin-right: 5px;
    vertical-align: middle;
    }

  li.navi { 
    list-style-type: none;
    margin-left: -30px;
  }

  div.footer { margin-left: -15px;
    text-align: left;
    }