body {
    font-family: sans-serif;
    font-size: 90%;
    padding: 0px;
    margin: 10px;
}

h1 {
    text-align: center;
}

h2 {
    display: block;
    font-size: 150%;
    border: 1px dotted gray;
    margin: 1em 0ex 1ex 0ex;
    padding: 0.5ex 1em;
    background: #eeeeff;
}

h3 {
    font-size: 125%;
    padding: 3px 0ex;
    margin: 2ex 0ex 1ex 0ex;
    border-bottom: 1px solid #444488;
}

div.half {
    width: 45%;
    float: left;
    margin: 0px 2%;
    padding: 0px;
}

div.full {
    width: 100%;
    clear: both;
    margin: 0px auto;
    padding: 0px;
}

a  { text-decoration: none; }
p  { margin: 1ex 2ex; padding: 0px; }
ul { margin: 0px;     padding: 0px }
li { margin: 0.5ex 3em; padding: 0px; }
ul + p { margin-top: 2ex; }

.center { text-align: center; }

a, a:active, a:visited {
    color: #ff4488;
    padding: 0px 2px;
    border-bottom: 1px solid white;
}
a:hover {
    color: #444488;
    border-bottom: 1px solid #444488;
    background: #eeeeff;
}

pre {
    margin: 5px 20px;
    background: #eeffee;
}