/**/
pre.c4 {
    margin-top: 6em
    }
span.c3 {
    margin-right: 4em
    }
table.c2 {
    border: 3px double gray;
    padding: 0.25em
    }
pre.c1 {
    margin-bottom: 6em
    }
/**/