/**/
pre.c13 {
    margin-top: 6em
    }
span.c12 {
    font-size: 80%
    }
td.c10 {
    border-bottom: 3px double black
    }
span.c9 {
    font-size: 75%
    }
td.c8 {
    font-weight: bold
    }
span.c7 {
    font-size: 120%
    }
span.c6 {
    margin-right: 2.5em
    }
span.c5 {
    margin-left: -1em
    }
span.c4 {
    font-size: 125%
    }
span.c3 {
    font-size: 110%
    }
span.c2 {
    font-size: 150%
    }
pre.c1 {
    margin-bottom: 6em
    }
/**/