body {
    font: 80% Arial;
    line-height: 1.5;
    padding: 15px;
}

h1, h3 {
    margin: 0 0 15px;
    padding: 0;
    line-height: normal;
}

h3 {
    background-color: #562;
    color: white;
    padding: 10px 15px;
}

div {
    padding-bottom: 15px;
}

dl {
    margin: 15px;
}

dt {
    font: 125% monospace;
}

code {
    background-color: #ddd;
    border-bottom: 1px dashed #ccc;
    font-size: 125%;
    padding: 2px 4px;
}