body {
    color: black;
    background-color: white;
    padding-left: 2.5em;
    padding-right: 2.5em;
    line-height: 130%;
}
h1, h2, h3 { color: #005A9C }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }
dt {
    margin-top: 1em;
    /*font-weight: bold;*/
}
a {
    color: #004080;
}
a:visited {
    color: #A25909;
}
a:hover {
    background-color: #ffa;
}
li.spaced {
    margin-top: 1.0em;
}
#disp {
    margin-top: 1em;
    margin-bottom: 1em;
    padding-top: 0.3em;
    text-align: center;
}
.big-brackets {
    font-weight: 100;
    font-size: 1.95em;
    color: #777777;
}