.pageno {
    font: medium sans-serif
    }
.pageno:after {
    color: gray;
    content: "[" attr(title) "]"
    }
h1.pg {
    line-height: 1;
    text-align: center;
    clear: both;
    font-size: 190%
    }
h4.pg {
    line-height: 1;
    text-align: center;
    clear: both;
    font-size: 100%
    }
hr.full {
    width: 100%;
    margin-top: 3em;
    margin-bottom: 0;
    margin-left: auto;
    margin-right: auto;
    border-width: 4px 0 0 0;
    border-style: solid;
    border-color: #000;
    clear: both
    }
pre {
    font-size: 85%
    }