/**/
pre.c4 {
    font-style: italic
    }
div.c3 {
    height: 4em
    }
a.c2 {
    font-weight: bold
    }
big.c1 {
    font-weight: bold
    }
/**/