html_print.css

body {
    color: black;
    font-family: serif;
    font-weight: normal;
    font-size: 12pt;
    margin-top: 5%;
    margin-left: 5%;
    margin-right: 5%;
}

blockquote.abstract {
    font-style: normal;
    width: 80%;
    font-size: 90%;
    text-align: left;
    margin-left: +10%;
    background-color: white;
}

blockquote {
    font-style: italic;
    text-align: left;
    margin-left: +10%;
    background-color: white;
}

dl, p, li {
    text-align: left;
    margin-left:  +1%;
    margin-right: +1%;
    background-color: white;
}

p.navigation {
    text-align: right;
    background-color: white;
}

p.right {
    text-align: right;
    background-color: white;
}

div#table-of-contents {
    position: fixed;
    font-size:80%;
    left:0.1em;
    top:1.0em;
    width: 16em;
    height: 40em;
    overflow: scroll;
    background-color: white;
}

div#main-content {
    position: absolute;
    top: 0.5em;
    left: 17em;
    margin-right: +2%;
    background-color: white;
}


div {
    text-align: left;
    margin-left:  +2%;
    background-color: white;
}


pre {
    font-family: courier,fixed;
    margin-left:  +2%;
    width: 95%;
}

p.author {
    font-style: italic;
    text-align: center;
    background-color: white;
}

h1.title {
    font-size: 120%;
    font-family: sans-serif;
    font-weight: bold;
    text-align: center;
    background-color: white;
    margin-left:  +2%;
    margin-right: +2%;
}

.level1 {
    background-color: white;
}

.level2 {
    background-color: white;
}

.level3 {
    background-color: white;
}

.level4 {
    background-color: white;
}

h1 {
    font-weight: bold;
    font-family: sans-serif;
    background-color: white;
    margin-left:  +2%;
    margin-right: +2%;
    font-size: 110%;
}

h2 {
    font-family: sans-serif;
    font-weight: bold;
    background-color: white;
    border-top: none;
    border-bottom: solid thin;
    border-right: none;
    border-left: none;
    font-size: 110%;
}


h3 {
    font-family: sans-serif;
    font-weight: bold;
    background-color: white;
    border-top: none;
    border-bottom: dashed thin;
    border-right: none;
    border-left: none;
    font-size: 110%;
}

h4 {
    font-family: sans-serif;
    font-weight: bold;
    background-color: white;
    border-top: none;
    border-bottom: none;
    border-right: none;
    border-left: none;
    font-size: 110%;
}

table {
    text-align: left;
    width: 80%;
    color: black;
    margin-left: +5%;
    vertical-align: top;
}

caption {
    text-align: center;
    color: black;
    background-color: #eeeeee;
    font-weight: bold;
    vertical-align: top;
    margin-left: +5%;
}

td {
    text-align: left;
    color: black;
    background-color: #ffffff;
    vertical-align: top;
/*border-top: solid thin;
border-bottom: none;
border-right: none;
border-left: solid thin;*/
}

th {
    text-align: left;
    color: black;
    background-color: #ffffff;
    vertical-align: top;
}

table.navigation {
    text-align: center;
    color: black;
    background-color: white;
    vertical-align: top;
}

td.left {
    text-align: left;
    color: black;
    background-color: white;
    vertical-align: top;
    border: none;
}

td.center {
    text-align: center;
    color: black;
    background-color: white;
    vertical-align: top;
    border:none;
    background-color: white;
}

td.right {
    text-align: right;
    color: black;
    background-color: white;
    vertical-align: top;
    border:none;
    background-color: white;
}

span.biblAuthor {
    font-variant: small-caps;
}

span.red {
    color: red;
}

a:active {
    color: #660000;
}

a:link {
    color: #000066;
}

a:visited {
    color: #660000;
}

hr {
    border-top: solid thin;
    border-bottom: none;
    border-right: none;
    border-left: none;
} 

p.version {
    text-align: right;
    width: 30%;
    margin-left:  65%;
}