/**/
pre.c11 {
    margin-top: 6em
    }
span.c10 {
    margin-left: 1em
    }
table.c9 {
    text-align: left
    }
td.c8 {
    padding-left: 10em
    }
span.c7 {
    margin-left: 8%
    }
span.c6 {
    margin-left: 5em
    }
h1.c5 {
    font-style: italic
    }
a.c4 {
    font-style: italic
    }
span.c3 {
    margin-left: 25%
    }
table.c2 {
    border: 2px black solid;
    margin: auto auto;
    max-width: 50%;
    padding: 1%
    }
pre.c1 {
    margin-bottom: 6em
    }
/**/