ol li {
    padding-top: 8px;
    padding-bottom: 8px;
}

hnum {
    padding: 0;
    margin: 0;
    min-width: 1.3em;
    height: 1.3em;
    display: inline-block;
    border-style: solid;
    border-radius: 3px;
    border-width: 1px;
    border-color: dimgray;
    background-color: dimgray;
    vertical-align: middle;
    text-align: center;
    line-height: 1em;
    color: white;
}

hnum.inc:before {
    counter-increment: extra;
    content: counter(extra);
}

hnum.now:before {
    content: counter(extra);
}

h2 {
    counter-reset: extra;
}

h3 {
    counter-reset: extra;
}

h4 {
    counter-reset: extra;
}

code {
    font-size: 0.85em;
    font-family: "DejaVu Sans Mono", "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Consolas, Courier, monospace
}

pre code {
    font-size: 0.8em;
    font-family: "DejaVu Sans Mono", "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Consolas, Courier, monospace
}