/**/
span.c12 {
    font-size: 120%
    }
div.c11 {
    margin-left: 25%;
    margin-right: 20%
    }
span.c10 {
    text-decoration: underline
    }
td.c9 {
    vertical-align: bottom
    }
td.c8 {
    vertical-align: top
    }
td.c7 {
    font-size: 80%
    }
span.c6 {
    font-size: 130%
    }
span.c5 {
    font-style: italic;
    text-decoration: underline
    }
p.c4 {
    margin-top: 0.2em
    }
td.c3 {
    font-style: italic
    }
td.c2 {
    font-size: 150%
    }
p.c1 {
    text-decoration: underline
    }
/**/