/**/
div.c4 {
    margin-top: 2em;
    font-size: smaller
    }
p.c3 {
    font-style: italic
    }
span.c2 {
    font-size: 150%;
    letter-spacing: 0.5ex
    }
span.c1 {
    font-size: 90%
    }
/**/