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

a{color: lightblue;}
a:visited{color: lightblue;}

dl dt{
    font-family: monospace;
    font-weight: bold;
    font-size: 120%;
    margin-left: 2em;
}

dl dd{
    margin-left: 5em;
}

span.code{
    font-weight: bold;
    font-family: monospace;
}