body {
    background-color: #FFF;
    color: #000;
    font-family: serif;
}
hr {
    color: #FFF;
    border-bottom: 1px solid black;
}

h1,h2,h3,h4,h5 {
    font-family: Helvetica, sans-serif;
    background-color: #EEE;
    margin-top:2pt;
    margin-bottom:8pt;
    border-style:none;
    border-width:thin;
    width:99%;
}
h1 {
    font-size: 200%;
}
h1.title {
    background-color: #FFF;
    margin-top: 10px;
}
h1.title a {
    background-color: #FFF;
    color: #000;
    text-decoration: none;
}
h1.title a:hover {
    background-color: #DDD;
    color: #000;
}

h2 {
    font-size: 150%;
    padding-left:6pt;
}
h3 {
    font-size: 110%;
    padding-left:9pt;
}
h4 {
    font-size: 100%;
    padding-left:12pt;
}
h5 {
    font-size: 80%;
    padding-left:15pt;
}
a:hover {
    background-color: #DDD;
    color: blue;
}
a.nonexistent {
    font-weight: bold;
    background-color: #F8F8F8;
    color: #FF2222;
}
a.nonexistent:visited {
    background-color: #F8F8F8;
    color: #FF2222;
}
a.nonexistent:hover {
    background-color: #DDD;
    color: #FF2222;
}
a.external {
}
dl,ul,ol {
    margin-top: 1pt;
}
tt,pre {
    font-family: monotype;
    font-size: 100%;
}
pre.code {
    margin-top: 8pt;
    margin-bottom: 8pt;
    background-color: #FFFFEE;
    white-space:pre;
    border-style:solid;
    border-width:1pt;
    border-color:#999999;
    color:#111111;
    padding:5px;
    width:99%;
}
div.diffold {
    background-color: #FFFF80;
    border-style:none;
    border-width:thin;
    width:99%;
}
div.diffnew {
    background-color: #80FF80;
    border-style:none;
    border-width:thin;
    width:99%;
}
div.message {
    margin-top: 6pt;
    background-color: #E8FFE8;
    border-style:solid;
    border-width:1pt;
    border-color:#999999;
    color:#440000;
    padding:5px;
    width:99%;
}
strong.highlight {
    background-color: #FFBBBB;
    border-color: #FFAAAA;
    border-style: solid;
    border-width: 1pt;
}

.navbar {
    font-family: Verdana, Helvetica, sans-serif;
    font-size: 60%;
    padding: 0 1ex 0 1ex;
}

.navbar td a {
    text-decoration: none;
}

.footer {
    margin-top: 1em;
    font-family: Verdana, Helvetica, sans-serif;
    font-size: 80%;
}