/**/
pre.c5 {
    margin-top: 6em
    }
span.c4 {
    font-style: italic
    }
h3.c3 {
    font-weight: bold
    }
span.c2 {
    font-weight: bold
    }
pre.c1 {
    margin-bottom: 6em
    }
/**/