body { 
    margin-left: 3%; 
    margin-right: 3%; 
    font-family: Arial,Helvetica,sans-serif;
    font-size: 11pt;
  }
  pre {
     color: black; 
     font-weight: bold;
     white-space: pre; font-family: monospace;
  }
  strong { font-weight: bold }
  pre.bad { color: rgb(192, 101, 101) }
  p.changed {
    padding-left: 0.2em;
    border-left: solid;
    border-top: none;
    border-bottom: none;
    border-right: none;
    border-left-width: thin;
    border-color: red;
  }
  div.box { 
    border: solid; 
    border-width: thin;  
    width: 80%;
    background-color: #eeeeee;
  }

  div.bio { 
    border: none; 
    background-color: #eeeeee;
    margin-left: 5%;
    margin-right: 5%;
  }

  h1 {
    text-indent: 1em;
    font-weight: normal;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 1em;
    margin-top: 1em;
    font-size: 100%
  }
  h2 {
    text-indent: 2em;
    font-weight: normal;
    margin-bottom: 0;
    margin-top: 0;
    font-size: 100%
  }
  h3 {
    text-indent: 4em;
    font-weight: normal;
    margin-bottom: 0;
    margin-top: 0;
    font-size: 100%
  }
  h4 {
    text-indent: 6em;
    font-weight: normal;
    margin-bottom: 0;
    margin-top: 0;
    font-size: 100%
  }
  h5 {
    text-indent: 8em;
    font-weight: normal;
    margin-bottom: 0;
    margin-top: 0;
    font-size: 100%
  }
  table {
    font-size: 95%;
    background: white;
    border-width: 0;
  }
  table.less {
    margin-bottom: -1em;
    margin-top: -1em;
  }
  ul.nopad {
    padding: 0px 0px 0px 0px;
  }
  li.nopad {
    padding: 0px 0px 0px 0px; 
  } 
  a { text-decoration: none; }
  a:hover { 
    color: rgb(0,96,255);
    background-color: #eeeeff;
  }
  a:visited {
    color: #646464;
  }