body { margin: 0px;
    padding: 1em 0px 8px;
    color: rgb(0, 0, 0);
    font-family: Arial,Helvetica,sans-serif;
    background-color: rgb(255, 255, 255);
    }

  h1 { margin: 0px;
    text-align: center;
    background-color: rgb(204, 204, 255);
    color: rbg(0, 0, 0);
    padding-bottom: 6px;
    }

  pre { margin: 0px;
    text-align: center;
    background: url(titlebar.png) repeat-x;
    height: 16px;
    }

  pre span { background: url(tab.png) repeat-x;
    padding-left: 5px;
    padding-right: 5px;
    color: rgb(0, 0, 0);
    font-size: 10pt;
    margin-left: 1px;
    margin-right: 1px;
    }

  pre a { border-style: solid;
    border-color: rgb(153, 153, 255) rgb(102, 0, 204) rgb(102, 0, 204) rgb(153, 153, 255);
    border-width: 1px;
    padding-left: 5px;
    padding-right: 5px;
    text-decoration: none;
    background-color: rgb(102, 102, 204);
    font-size: 10pt;
    margin-left: 1px;
    margin-right: 1px;
    color: rgb(255, 255, 255);
    }

  pre a:hover { border-style: solid;
    border-color: rgb(204, 204, 255) rgb(102, 102, 204) rgb(102, 102, 204) rgb(204, 204, 255);
    border-width: 1px;
    background-color: rgb(153, 153, 255);
    }

  h2 { background-image: url(header.png);
    background-repeat: no-repeat;
    color: rgb(153, 0, 0);
    background-position: left bottom;
    width: 256px;
    padding: 0px 4px 4px 15px;
    }

  h3 { color: rgb(0, 153, 0);
    background-image: url(date.png);
    background-repeat: no-repeat;
    background-position: left bottom;
    padding: 3px 5px 34px 15px;
    margin: 1em 8px -22px 8px;
    }

  p { padding-left: 15px;
    padding-bottom: 5px;
    margin: 0px 15px 0px 8px;
    }

  h4 { color: rgb(51, 102, 255);
    margin-top: 0.5em;
    margin-bottom: 0px;
    }

  a { color: rgb(0, 0, 0);
    text-decoration: underline;
    }

  a:hover { text-decoration: none;
    background-color: rgb(51, 102, 255);
    color: rgb(255, 255, 255);
    }

  table { display: none;
    }

  .footer { height: 16px;
    overflow: visable;
    text-align: right;
    }  

  .footer a { display: block;
    position: relative;
    margin-top: -3px;
    margin-left: auto;
    margin-right: 4px;
    width: 84px;
    }

  .footer img { border: none !important;
    }

  a img { margin: 1px;
    padding: 1px;
    border: 1px solid white;
    }

  a:hover img { border: 1px solid rgb(51, 102, 255);
    background-color: white;
    }

  body > *.footer { position: fixed;
    background: url(footer.png) repeat-x;
    width: 100%;
    bottom: 0px;
    z-index: 10;
    }

  .contents { background-color: white;
    padding: 2em 8px 8px;
    }

  .titlebar { position: absolute;
    width: 100%;
    top: 0px;
    z-index: 10;
    }

  body > *.titlebar { position: fixed;
    }

  /* Don't do this at home */

  @media screen {
    * html body {
      padding-top: 3em;
      }
    }

  /* All done. */