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