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

a {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

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

h1 {
    font-size: x-large;
}

h2 {
    font-size: large;
}

h3 {
    font-size: medium;
}

hr {
    border-style: none;
    border-bottom-style: solid;
    border-width: thin;
}

img {
    vertical-align: middle;
    border-style: none;
}

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

ul {
    margin: 0;
}

.after-floating {
    clear: both;
}

.floating-left {
    float: left;
}

.floating-right {
    float: right;
}

.non-printable {
}

.smaller {
    font-size: smaller;
}

#heading {
    background-color: black;
    color: white;
    padding: 1em;
}

#heading h1 {
    margin: 0;
}

#menu {
    border-bottom-style: solid;
    border-width: thin;
    padding: 0.2em;
}

#menu > * {
    margin-left: 0.2em;
    margin-right: 0.4em;
    font-weight: bold;
}

#body {
    padding: 0.4em;
}

#footer {
    clear: both;
    font-size: smaller;
}

#footer div {
    padding-left: 0.4em;
    padding-right: 0.4em;
}

@media print {
    .non-printable {
        display: none;
    }

    #heading {
        background-color: inherit;
        color: inherit;
        padding: 0;
    }

    #menu {
        display: none;
    }

    #body {
        padding: 0;
    }

    #footer {
        display: none;
    }
}