/**/
h1 {
    font-weight: bold;
    font-size: 1.3em
    }
.pindent {
    margin-top: 0.25em;
    margin-bottom: 0
    }
.figright, .figleft {
    width: 45%
    }
/**/