body {
    background-color: black;
    color: green;
    max-width: 700px;
    margin: auto;
    margin-top: 20px;
} 

h1, h2 {
    font-size: 1em;
    font-weight: normal;
    padding: 5px;
    padding-left: 10px;
}

a, a:visited {
    color: green !important;
    text-decoration: underline !important;
}

p {
    margin: 5px;
    border: 0px;
    padding: 5px;
}

table, th, td {
       border: 1px solid green;
       text-align: left;
       vertical-align: top;
} 

.leftcol {
    width: 200px;
}

.rightcol {
    width: 500px;
}

.monorow {
    white-space: pre;
}

.navlist {
    list-style-type: none;
    padding: 5px;
    border: 0;
    margin: 0;
}

.index {
    font-size: 10pt;
    font-family: monospace;
}

.longtext {
    margin: 40px auto;
    max-width: 900px;
    line-height: 1.6;
    font-size: 18px;
    padding: 0 10px;
}