@import url(https://fonts.googleapis.com/css?family=Rosario:400,700,400italic,700italic);
body {
    background-color: white;
    /* yes, this is intentionally putting a serif font in there
       so things look decent on Windows XP */
    font: 14px "Avenir Next", Corbel, Georgia, sans-serif;
    margin: 0.5em;
}
p, ul {
    line-height: 1.3em;
}
p {
    margin-left: 0.3em;
    margin-right: 0.3em;
    margin-top: 0em;
    margin-bottom: 0.5em;
}
li {
    list-style: square;
}
ul { 
    margin-top: 0em;
    margin-bottom: 0.5em;
}
tt {
    font-family: screen, Consolas, Menlo, Monaco, fixed, monospace;
    font-size: 85%;
}
h3, h4, .ref, .nav {
    font-family: Rosario, Calibri, Verdana, Helvetica, sans-serif;
}
h1 {
    font-size: 1.6em;
    margin-top: 0.2em;
    margin-bottom: 0.1em;
    vertical-align: baseline;
}
h3, h4 {
    border-style: solid;
    border-width: 0px;
    margin-top: 1em;
    margin-bottom: 0.5em;
    padding: 0.2em 0.4em 0.2em 0.4em;
    font-weight: normal;
    font-size: 1.1em;
    clear: both;
}
h3 {
    background-color: #cdc7c1;
}
h4 {
    background-color: #687375;
}
h4, h4 a:link, h4 a:visited {
    color: #f8f8ff;
}
ul.downloadlinks {
    background-color: #f3f4ec;
    border-color: #708090;
    padding: 0.4em 0.5em 0.5em 1.9em;
    margin: auto 0.2em auto 0.2em;
}
.nav {
    font-size: 1.25em;
    height: 2em;
}

.nav a { 
    text-decoration: none;
}

.ref {
    font-weight: bold;
    text-align: center;
    border-style: solid;
    border: solid thin black;
    padding: 0.2em;
    color: white;
    background-color: purple;
}

.ref a {
    color: #fff5ee;
}

.ref a:visited {
    color: #cccc99;
}

tr { vertical-align: middle; }

a:link, a:visited {
    color: #3C657B;
    text-decoration: none;
}

a:link:hover {
    border-width: 0px 0px 1px 0px;
    border-style: solid;
}

sup {
    font-size: 0.8em;
    vertical-align: baseline;
    position: relative;
    top: -0.5em;
}