html,body { font-family: sans-serif; }
tt,pre,code { font-family: Terminus, Terminus-Re33, monospace; }
h1 {
    margin: 0;
    font-size: 22px;
    font-weight: bold;
    line-height: 1em;
    display: block;
}
div#pageinfo { border-top: none; }