body { color: black; background: white; font-family: arial,sans-serif;
  margin-left: 5%; margin-right: 5%;}
  pre { color: black; background: #E6E6F9; font-family: monospace; border: solid;
  border-width: thin; padding: 0.5em;}
  h1 { font-size: 200%; color: #05057A;}
  h2 { font-size: 150%; color: #05057A; margin-left: -1%;}
  h3 { font-size: 125%; color: black;}
  div.box { border: solid; border-width: thin; width: 100% }
  div.center { text-align:center }
  .right { float:right }
  .left { float:left }
  div.color {
    background: #ADD7E6;
    padding: 0.5em;
    border: none;
    font-family: monospace;
  }
  strong { font-size: 90%; color: red }
  .gb { color: #197D1D; font-size: 110%; }
  .noborder { border-style: none }
  li.sp { padding-bottom:12px }

  a:link {color:blue}
  a:visited {color:purple}
  a:focus {color:teal}
  a:hover {color:teal}
  a:active {color:red}
  ul.NoIndent {
  margin-left: 0px;
  padding-left: 0px
  }