body { 
    margin-left: 0; 
    font-family: arial, sans-serif;
    color: black;
    background-image: url(back.gif)
  }
  :link { color: 0064A6; text-decoration: none; font-weight: bold }
  :visited { color: 0064A6; text-decoration: none; font-weight: bold }
  :active { color: 0064A6; text-decoration: none; font-weight: bold }
  :hover { color: 0064A6; text-decoration: none; border-bottom: thin ridge FFFFFF; font-weight: bold }
  h1 {
    font-size: 150%;
    color: 000000;
    text-align: center;
    text-decoration: none;
    line-height: normal;
    width: 550px
  }
  h2 {
    font-family: verdana, arial, sans-serif;
    font-size: 130%;
    color: 0064A6;
    text-align: left;
    line-height: normal
  }
  h3 {
    font-size: 100%;
    color: 0064A6;
    text-align: left;
    text-decoration: underline;
    line-height: normal
  }
  .footer2 {
    text-align: center;
    border: 2px groove B9EAFF;
    font-family: arial, sans-serif;
    font-size: 10px;
    color: 000000;
    width: 170px
  }
  table {
    border-width: 2px;
    border-color: white;
    color: black
  }
  td {
    font-family: verdana, arial, sans-serif;
    font-size: 12px;
    text-align: left
  }
  ol { text-align: left }
  pre {
    font-family: courier new;
    font-size: 12px;
    text-align: left
  }
  .inst {
    font-family: verdana, arial, sans-serif;
    font-size: 12px;
    text-align: left;
    line-height: 18px
  }
  .refs {
    font-family: verdana, arial, sans-serif;
    font-size: 12px;
    text-align: left
  }
  .box {
    font: monospace;
    font-size: 11px;
    width: 100%;
    height: 220px
  }