hw {
    font-weight: bold;
    font-family: sans-serif
    }
h1 {
    font-family: Ariel, sans-serif
    }
h1.pg {
    font-family: Times-Roman, serif;
    text-align: center
    }
h3.pg {
    font-family: Times-Roman, serif;
    text-align: center
    }
div {
    text-indent: 4%
    }
body {
    background-color: #F9E9A0
    }
hr.full {
    width: 100%
    }
pre {
    font-size: 8pt
    }