/**/
pre.c6 {
    margin-top: 6em
    }
col.c5 {
    width: 11em
    }
col.c4 {
    width: 20em
    }
col.c3 {
    width: 4em
    }
pre.c1 {
    margin-bottom: 6em
    }
/**/