pre {
    font-family: serif;
    margin-left: 7%
    }
body {
    margin-left: 3%;
    margin-right: 5%
    }
hr {
    text-align: center;
    width: 50%
    }
.fbig {
    font-size: 120%
    }
.fsmall {
    font-size: 90%
    }
.note {
    text-align: justify;
    margin-left: 2%;
    font-size: 90%
    }
h2, h3 {
    text-align: center
    }
.ast {
    letter-spacing: 2em;
    text-align: center
    }