body {
       margin: 0;
       padding: 0;
       color: black;
       background-color: white;
       font-style: normal;
       font-weight: normal;
       font-size: medium;
       text-align: left;
       }

h1 {
     font-size: xx-large;
     font-weight: bold;
     text-indent: 1ex;
     background-color: aqua;
     border-color: aqua;
     border-style: outset;
     border-width: thin;
     }

h2  {
      font-size: x-large;
      font-weight: bold;
      text-indent: 1ex;
      background-color: aqua;
      border-color: aqua;
      border-style: outset;
      border-width: thin;
      }

h3 {
     font-size: large;
     font-style: italic;
     text-indent: 1ex;
     border-style: double;
     border-color: aqua;
     }

h4 {
     font-size: large;
     font-style: italic;
     text-indent: 1ex;
     background-color: aqua;
     border-color: aqua;
     border-style: solid;
     border-width: 0 0 thin 0;
     }

p {
    text-indent: 1em;
    margin-left: 1em;
    }

p.fn {
       font-size: small;
       text-indent: 0em;
       margin-left: 3em;
       }

pre {
      font-family: monospace;
      white-space: pre;
      padding: 0.5em;
      margin-right: 2em;
      margin-left: 2em;
      overflow: auto;
      color: white;
      background-color: black;
      border-color: gray;
      border-style: inset;
      }

code {
       font-family: monospace;
       white-space: pre;
       background-color: lime;
       font-weight: bold;
       }

kbd {
      font-family: monospace;
      white-space: pre;
      background-color: yellow;
      font-weight: bold;
      }

blockquote {
             font-style: italic;
             margin-right: 4em;
             margin-left: 4em;
             }

ul {
     margin-left: 2em;
     }

ol {
     margin-left: 2em;
     }

li { 
     margin-left: 0em;
     }

a[href] {
          color: blue;
          text-decoration: none;
          }

a[href]:visited {
                  color: navy;
                  }

a[href]:hover {
                color: white;
                background-color: blue;
                }

dl {
     margin-left: 2em;
     }

dt {
     margin-top: 1ex;
     text-decoration: underline;
     }

dd {
     margin-top: 0.5ex;
     margin-bottom: 0.5ex;
     }

address, div.path {
                    font-style: italic;
                    text-align: right;
                    line-height: 200%;
                    border-style: solid;
                    border-color: green;
                    border-width: medium 0 medium 0;
                    }

.file {
        font-style: italic;
        }

.at {
      color: red;
      }