body {
    margin: auto;
    padding: 0;
    border: 0;
    max-width: 1100px;
    height: 100%;
    background-color: rgb(100, 100, 100);
    font-family: serif;
    font-size: 12pt;
    line-height: 1.5;
}

.navigation {
    margin: 0;
    border: 0;
    position: fixed;
    max-width: 280px;
    padding: 20px;
}

.navigation a {
    font-family: sans-serif;
    font-weight: bold;
    text-decoration: none;
    color: rgb(220, 220, 220);
    color: white;
}
.navigation a:visited { color: rgb(200, 200, 200); }
.navigation a:hover { color: white !important; }
.navigation a:active { color: rgb(180, 180, 180); }

.navigation hr {
    border: 0;
    border-top: 1px solid gray;
    margin-left: 20px;
    width: 100px;
}


.content {
    margin: 0 0 0 340px;
    padding: 20px;
    border: 0;
    max-width: 800px;
    min-height: 100%;
    background-color: white;
}

.content a {
    font-family: sans-serif;
    font-weight: bold;
    text-decoration: none;
}

p { 
    margin-top: 10px;
    margin-bottom: 20px;
}

h1, h2, h3, h4, h5 {
    font-family: sans-serif;
    font-weight: bold;
}

h1 {
    font-size: 18pt;
}

h2 {
    font-size: 14pt;
}

h3 {
    font-size: 12pt;
    margin-top: 30px;
    margin-bottom: 5px;
}

h3+h3 {
    margin-top: 0;
}

h4 {
    font-size: 10pt;
    margin-top: 0;
    margin-bottom: 0;
}

table, th, td {
    border: 1px solid gray;
    border-collapse: collapse;
    padding: 5px;
}

pre {
    border: 1px solid gray;
    background-color: rgb(230, 230, 230);
    padding: 10px;
}