body {
  font-family: Arial, sans-serif;
  font-size: 13pt;
  color: black }
  .shiny, .shiny TD, .shiny TH
    {
    background-image:url('index_files/shiny.gif');} 
  h1 {
    font-family: Arial, sans-serif;
    color: black;
    font-size: 26pt }
  h2 {
    font-family: Arial, sans-serif;
    font-size: 14pt;
    color: black }
  h3 {
    font-family: Arial, sans-serif;
    font-size: 13pt;
    font-weight: bold;
    font-style: italic;
    color: #21007F }
  h4 {
    font-family: Arial, sans-serif;
    font-size: 13pt;
    font-weight: bold;
    color: #21007F }
  h5 {
    font-family: Arial, sans-serif;
    font-size: 13pt;
    color: #FF0000 }
  t1 {
    font-family: Arial, sans-serif;
    font-size: 13pt;
    color: black }
  address {
    margin-top: 1em;
    padding-top: 0.5em;
    border-top: thin dotted; 
    color: green }
  ul.navbar {
    padding: 0;
    margin-top: 0.25em;
    margin-bottom: 0.1em;
    margin-left: 0;
    margin-right: 0;
    font-family: Arial, Georgia, Times, serif;
    background-color: #B2DFFF;
    }
  ul.navbar a {
    text-decoration: none; 
    font-weight: bold;}
  a:link {
    color: blue; 
    text-decoration: none; 
    border: none }
  a:visited {
    color: green; 
    text-decoration: none; 
    border: none }
  l1 {
    font-family: Arial, sans-serif;
    font-size: 12pt;
    font-weight: bold }
  div.figure {
    float: right;
    border: 0;
    margin: 0.5em;
    padding: 0.5em;
    }
  div.figure p {
    text-align: center;
    font-style: italic;
    font-size: smaller;
    text-indent: 0;
    }
  img {
    border: 0 }
  red {
    color: red; }