html, body, h1, h2, h3, h4, h5, li {
    font-family: tahoma, arial, helvetica, sans-serif;
}
html, body {
    font-size: 12pt;
}
pre, code {
    font-size: 12pt;
}
.blackbox {
    background-color: black;
    color: #f66;
    font-weight: bold;
    padding: 1pt 8pt;
}
form.pininput > input {
    height: 24pt;
    font-size: 16pt;
    padding: 2pt;
}