/**/
pre.c2 {
    font-family: Times New Roman, serif;
    font-size: medium;
    margin-left: 10%
    }
div.c1 {
    text-align: center
    }
/**/