* {
    font-family: sans-serif;
    border-style: solid;
    border-color: navy;
    border-width: 0;
}

body {
    margin: 5mm;
    background-color: white;
}

h1 {
    margin-bottom: 0mm;
    border-width: 0pt 0pt 2pt 0pt;
    padding: 5mm;
    font-size: 150%;
    color: navy;
    background-color: rgb(240, 240, 240);    
}

h2 {
    font-size: 150%;
    color: navy;
}

h3 {
    font-size: 140%;
    color: navy;
}

h4 {
    font-size: 120%;
    font-style: italic;
    color: navy;
    margin-left: 3mm;
}

h5 {
    font-size: 100%;
    font-style: italic;
    margin-left: 6mm;
}

p {
   margin: 3mm; 
}

pre.ccode {
    font-family: monospace;
    color: green;
}

li {
    margin-bottom: 3mm;
}

table.page {
    width: 100%;
}

td.content {
    padding-left: 3mm;
    vertical-align: top;
}

td.navigation {
    padding: 3mm;
    vertical-align: top;
    border-width: 0pt 2pt 0pt 0pt;
    border-color: navy;
    border-style: solid;
}

a.content-list {
    margin-left: 4mm;
}

p.teaser {
    margin: 0mm 0mm 4mm 0mm;
    font-size: 110%;
}

div.teaser { /* contents of nav section */
    margin-bottom: 10mm;
}

pre.license {
    margin: 10mm;
    font-family: monospace;
    font-size: 12pt;
}

p.author-sign {
    text-align: right;
    font-family: serif;
    font-style: italic;
    font-size: 60%;
}

p.messagestamp {
    text-align: right; 
    font-style: italic;
}

hr {
    border-width: thin;
    height: thin;
    width: 30%;
    border-color: rgb(240, 250, 250);
    horizontal-align: left;
}