BODY {
    margin: 0px;
    padding: 0px;
    background-color: #888;
}


DIV.header H1 {
    margin-top: 0px;
    font-family: sans-serif;
    display: inline;
    padding-right: 20px;
}
DIV.header H1 A {
    text-decoration: none;
    color: #000;
}
DIV.header H1 A:hover {
    text-decoration: underline;
}
DIV.header {
    font-family: sans-serif;
    margin: 0px;
    padding: 10px;
    padding-bottom: 2px;
    border-bottom-color: #333;
    border-bottom-style: solid;
    border-bottom-width: 1px;
}

DIV.behind-table {
    background-color: #aaa;
}

TABLE.main {
  border: none;
  border-width: 0px;
  border-spacing: 0px;
}
TABLE.main TR {
    vertical-align: top;    
}
TABLE.main TD.nav{
    margin: 0px;
    padding-top: 36px;
    padding-bottom: 72px;
    font-family: sans-serif;
    font-weight: bold;
    text-align: right;
}
TABLE.main TD.main {
}

DIV.nav A {
    display: block;
    text-decoration: none;
    color: #000;
    padding-left: 1.5em;
    padding-right: 0.5em;
    margin-top: 0.5em;
    font-size: larger;
}
DIV.nav A.sub {
    font-size: smaller;
    margin-top: 0.25em;
}
DIV.nav A:hover {
    background-color: #ddd;
}


DIV.footer {
    clear: both;
    font-family: sans-serif;
    margin: 0px;
    padding: 10px;
    padding-top: 2px;
    border-top-color: #333;
    border-top-style: solid;
    border-top-width: 1px;
    font-size: smaller;
    color: #333;
    text-align: right;
}

DIV.main {
    margin: 1em;
    background-color: #f8f8f8;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
    -webkit-box-shadow: 2px 2px 4px #333;

    padding: 2em; /* DIV.nav has a margin-right to help this out */
    max-width: 640px;
    color: #444;
}

DIV.main H1,H2,H3 {
  font-family: sans-serif;
  color: #222;
}

DIV.main A {
  color: #222;
}

DIV.undone {
  color: #933;
  padding-left: 1em;
  padding-right: 1em;
  font-size: larger;
  background-color: #fcc;
  border-top-style: solid;
  border-bottom-style: solid;
  border-width: 1px;
  border-color: #933;
}