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