a:link {text-decoration: none; color: blue}
   a:visited {text-decoration: none; color: blue} 
   a:active {text-decoration: none; color: blue}
   a:hover {text-decoration: underline; color: red; font-size:110%}
   body {
      padding-left: 0em;
      padding-top: 0em;
      font-family: Georgia, Arial, Helvectica, sans-serif;
      background-color: #b2d8ab;
   }
   td#std {
      background-color: #ededd5;
      border: 1px #000 solid;
      padding: .5em .5em .5em .5em;
   }
   td#alignmid {
      background-color: #ededd5;
      border: 1px #000 solid;
      padding: .5em .5em .5em .5em;
      vertical-align: middle;
   }
   ul#navbar {
      margin:0;
      padding:0;
      list-style: none;
      border-left: 1px #000 solid;
      display: inline;
      padding-left: .3em;
   }
   li#navbar {
      display: inline;
      margin: 0;
      padding: 0 .5em 0 .5em;
      border-right: 1px #000 solid;
      margin-left: -.3em;
      white-space: nowrap;
   }     
   h1#head { 
      font-size: 150%;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: 0;
      margin-bottom: .4em;
   }
   h2#head { 
      font-size: 120%;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: 0;
      margin-bottom: .4em;
   }
   h2#sub {
      font-size: 100%;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: 0;
      margin-bottom: .1em;
   }
   p#ref_title {
      font-size: 100%;
      font-weight: bold;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: .8em;
      margin-bottom: 0;
   }
   p#ref_author {
      font-size: 100%;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: 0;
      margin-bottom: 0;
   }
   p#ref_where {
      font-size: 100%;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: 0;
      margin-bottom: 0;
   }
   p#ref_proc {
      font-style: italic;
      font-size: 100%;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: 0;
      margin-bottom: 0;
   }
   p#conf_title {
      font-size: 100%;
      padding-top: 0;
      padding-bottom: 0;
      margin-top: 0;
      margin-bottom: 0;
   }