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;

}