/**/
p.c12 {
    font-size: 90%;
    padding-top: 2em
    }
hr.c11 {
    margin-top: 1em;
    margin-bottom: 1em
    }
p.c10 {
    padding-top: 1.5em
    }
h3.c9 {
    padding-top: 1em
    }
div.c8 {
    width: 7em;
    padding: 0.5em
    }
div.c7 {
    width: 16em
    }
div.c6 {
    width: 20em
    }
table.c5 {
    width: 18em;
    padding: 0.5em;
    margin-top: 1em;
    margin-bottom: 1em
    }
p.c4 {
    font-style: italic
    }
p.c3 {
    font-weight: bold
    }
p.c2 {
    font-size: 80%;
    font-weight: bold;
    padding-bottom: 4em;
    padding-top: 4em
    }
span.c1 {
    font-size: 50%
    }
/**/