/**/
span.c5 {
    margin-left: 2em
    }
table.c4 {
    border-bottom: 6px double black;
    font-size: 125%
    }
table.c3 {
    border-top: 4px double black;
    border-bottom: 6px double black;
    font-size: 125%
    }
td.c2 {
    font-weight: bold
    }
p.c1 {
    font-weight: bold
    }
/**/