body{ color: #000000;
      background-color: #FFFFFF;
      margin-right: 4em;
      margin-left: 4em }
h1 { font-family: Cursive;
     background-color: #00FF66;
     border-color: #00FF66;
     border-style: outset;
     border-width: thin;
     text-indent: 7pt }
h2 { font-family: Cursive;
     background-color: #00FF66;
     border-color: #00FF66;
     border-style: outset;
     border-width: thin;
     text-indent: 7pt }
h3 { font-family: Serif;
     border-style: double;
     border-color: #00FFFF;
     text-indent: 5pt }
h4 { font-family: Serif;
     border-style: solid;
     border-color: #00FFFF;
     border-width: 0 0 thin 0;
     margin-left: 1em }
p { text-indent: 1em;
    margin-right: 1em;
    margin-left: 1em }
pre { white-space: pre;
      padding: 0.5em;
      color: #FFFFFF;
      background-color: #000000;
      border-color: #808080;
      border-style: inset;
      margin-right: 2em;
      margin-left: 2em;
      overflow: auto }
code { color: #000000;
       background-color: #CCFFFF;
       font-weight: bold }
kbd { color: #000000;
      background-color: #FFFF00;
      font-weight: bold }
blockquote { font-style: italic;
             margin-right: 4em;
             margin-left: 4em }
a[href] { text-decoration: none }
a[href]:link { color: #2222FF }
a[href]:hover { color: #FFFFFF;
          background-color: #2222FF }
address { font-style: italic;
          text-align: right;
          line-height: 200%;
          border-style: solid;
          border-color: #808080;
          border-width: medium 0 medium 0 }
.path { text-align: right;
           line-height: 200%;
           border-style: solid;
           border-color: #808080;
           border-width: medium 0 medium 0}
.file { font-style: italic }