/**/
h1 {
    font-weight: bold;
    font-size: 1.3em;
    border-bottom: 3px solid black;
    margin-bottom: 1.3em;
    line-height: 125%
    }
.pindent {
    margin-top: 0.25em;
    margin-bottom: 0
    }
/**/