tt { font-weight: bold; font-size: large; color: red;}
    tt.cmd { font-weight: bold; font-size: large; color:black;}
    h2 { color: blue;}
    h3 { color: green;}
    div.author { font-style: italic; }
    p {text-indent:1em; text-align:justify}
    pre {margin-left:1em; background: yellow; padding: 0.25em; border-style: solid; margin-right:1em; font-size: 120%;}
    span.input {color:blue; font-size: 120%; font-weight:bold;}
    span.lh {color:#ee81ee; font-weight:bold;}
    span.cmd {color:red; font-weight:bold;}
    em {color:black;}
    table {text-align: left; margin-left: 1em; margin-top: 1em; margin-right: auto;}
    th {color:#ee81ee; font-weight:bold;}
    address img {float: right}
    address {
      padding-top: .5em;
      padding-right: 1em;
      padding-left: 1em;
      padding-bottom: .5em;
      margin-top:  3em;
      border-top: 1px solid black;
      background-color: #eee;
      clear: both;
    }
    a:link img, a:visited img {border-style: none}
    ul li {
      padding-top: 0.25em;
      margin-top: 1em;
      margin-left: 1em;
      font-size: 150%;
    }
    ol li {
      padding-top: 0.25em;
      margin-top: 1em;
      margin-left: 1em;
      font-size: 150%;
    }
    ul ul li {
      font-size: large;
      font-weight: bold;
      margin-top: 0.75em;
    }
    ol ol li {
      font-size: large;
      font-weight: bold;
      margin-top: 0.75em;
    }

    ul ol li {
      font-size: large;
      font-weight: bold;
    }

    dl dt {
      padding-top: 1em;
      font-size: large;
      font-weight: bold;
    }

    dl dd {
      font-size: large;
      font-weight: normal;
    }