h1 {
    font-size: 160%;
    text-align: center
    }
h2 {
    font-size: 140%;
    text-align: center
    }
h3 {
    font-size: 100%;
    font-weight: bold
    }
h4 {
    font-size: 100%;
    font-weight: normal
    }
i {
    font-weight: bold
    }
pre {
    font-family: Times
    }
.center {
    text-align: center
    }
.right {
    text-align: right
    }
.title {
    font-style: italic;
    font-weight: bold
    }
.figure {
    margin-left: 0;
    margin-right: 0
    }
.author {
    text-align: right;
    margin-right: 20%;
    margin-top: -0.7em
    }
.vclose {
    margin-top: -0.7em
    }
.upline {
    margin-top: -1em
    }
.halfline {
    margin-top: -0.5em
    }