body {
    background-color: white;
    color: black;
    font-family: "Verdana", sans-serif;
    font-size: small;
}

dd + dt {
    margin-top: 1em;
}

h1 {
    font-size: x-large;
}

h2 {
    font-size: large;
}

h3 {
    font-size: medium;
}

pre {
    font-family: monospace;
    font-size: medium;
}

ul {
    margin: 0;
}