/**/
h1 {
    font-size: 140%;
    text-align: center
    }
h2 {
    font-size: 120%;
    text-align: center
    }
i {
    font-weight: bold
    }
pre {
    font-family: Times
    }
.indent {
    margin-left: 7%
    }
.indent2 {
    margin-left: 14%
    }
.center {
    text-align: center
    }
.figure {
    margin-left: 0;
    margin-right: 0
    }
/**/