* {
    color: black;
    background-color: white;
}

html {
    margin: 0;
    padding: 0;
}

body {
    margin: 0;
    padding : 0;
}

h1 {
    font-size: 2em;
    margin: 0;
    padding: 0.5em 0.5em 0 0.5em;
}

dd {
    padding-left: 2em;
    margin-left: 0;
    padding-bottom: 0.5em;
}

dt {
    padding: 0.5em 0.5em 0.25em 1em;
}

dt a.title {
    font-weight: bold;
}

a {
    color: black;
    text-decoration: none;
    background-color: transparent;
}

a:hover {
    color: rgb(192, 16, 16);
    text-decoration: underline;
}

.odd, .odd * {
    background-color: rgb(220, 220, 220);
}

pre {
    margin-top:0;
    padding-top:1ex;
}