.pageno {
    font: medium sans-serif
    }
.pageno:after {
    color: gray;
    content: "[" attr(title) "]"
    }
.pgmonospaced {
    font-family: monospace;
    font-size: 0.9em;
    white-space: pre-wrap
    }