BODY {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 12px;
      }

      DIV {
        font-family: Arial, sans-serif;
        font-size: 12px;
      }

      DIV.folders {
        margin-left: 10px;
      }

      .footer {
        font-size: 11px;
      }

      DIV.th_name {
        font-size: 24px;
        font-weight: bold;
        color: black;
        margin-top: 10px;
        margin-bottom: 10px;
      }

      DIV.student {
        font-size: 14px;
        color: black;
      }


      PRE.pgp {
        font-size: 12px;
      }

      A {
        color: blue;
        font-weight: bold;
      }

      A.linkintext {
        font-weight: normal;
      }

      A.references {
        font-family: monospace;
        font-weight: normal;
      }

      DIV.links {
        font-size: 12px;
        line-height: 125%;
        margin-top: -5px;
      }

      DIV.linksubheader {
        font-size: 12px;
        font-weight: bold;
        margin-top: 0px;
        margin-left: 15px;
      }

      DIV.disclaimer {
        font-size: 12px;
      }

      H1 {
        font-size: 20px;
        font-weight: bold;
      }

      H2 {
        font-size: 16px;
        font-weight: bold;
      }

      H3 {
        font-size: 14px;
        font-weight: bold;
      }

      H3.links {
        font-size: 14px;
        font-weight: bold;
        color: red;
        NOmargin-bottom: 0px;
      }

      H4 {
        font-size: 12px;
        font-weight: bold;
      }

      H5 {
        font-size: 11px;
        font-weight: bold;
      }

      P {
        font-size: 12px;
      }

      .text {
        font-size: 12px;
      }

      .references {
        font-size: 11px;
      }

      EM {
        font-weight: bold;
        font-style: normal;
      }

      EM.name {
      }

      EM.publication {
        font-weight: bold;
        font-style: normal;
      }

      SMALL.author {
        font-size: 11px;
        line-height: 100%;
        margin-top: 0px;
        margin-bottom: 0px;
      }

      SMALL.main {
        font-size: 9px;
      }

      UL {
        margin-right: 30px;
      }

      TD.guestbookform {
      }

      DIV.guestbookheader {
        font-family: monospace;
      }

      DIV.guestbookcomment {
      }

      DIV.jokeSecSubTitle {
        font-size: 12px;
        font-weight: bold;
      }

      DIV.jokeTitle {
        font-weight: bold;
      }

      DIV.joke {
        line-height: 105%;
      }