.over {
          color: red;
          background: rgb(160, 160, 255);}

      .border {
          border-style: solid;
          border-width: 1px;
          border-color: red;}

      .nonborder {
          border-width: 0;}

      body { background: white;
             color: black;}
      h1 {
          border-width: 0;
          text-align: center;
          color: blue;
          background: white;}
      h2 {
          border-width: 0;
          text-align: left;
          color: purple;
          background: white;
          margin-left: 1em;}
      h3 {
          border-width: 0;
          text-align: left;
          color: navy;
          background: white;
          margin-left: 2em;}
      h4 {
          margin-left: 2em;}
      div.doc {
          margin-left: 5%;}
      div.doc h2 {
          margin-left: -5%;}
      div.doc h3 {
          margin-left: -2%;}
      div.center {
          text-align: center;}
      div.footer {
          text-align: right}
      p {
          margin-left: 3em;
          text-indent: 1em;}
      table {
          margin-left: 3em;}
      sub {
          vertical-align: -30%}
      sup {
          vertical-align: 50%}
      span.red {
          color: red;
          background: white;}
      span.green {
          color: green;
          background: white;}
      span.blue {
          color: blue;
          background: white;}
      span.bold {
          font-weight: bold;}
      img {
          border-style: none}
      a:link {
          color: red;
          background: white;
          font-weight: bold;
          text-decoration: none;}
      a:visited {
          color: maroon;
          background: white;
          font-weight: bold;
          text-decoration: none;}