.header H1 {
    font-family: sans-serif;
    font-size: 170%;
    font-weight: bold;
}

.H2 {
    font-family: sans-serif;
    font-size: 170%;
    font-weight: bold;
    padding-top: 4em;
    padding-bottom: 4em;
    margin-left: 10%;
}

body {
    font: 13px sans-serif;
    line-height: 150%;
}
a {
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
img {
    border-style: none;
}

.footnote {
    vertical-align: super;
    font-size: 80%;
    color: #8888ff ;
}
pre {
    font: 110% Courier, serif;
    line-height: 150%;
    padding-left: 3em;
}
li {
    padding-left: 1em;
}