h1 {
    font-size: 140%;
    text-align: center
    }
pre {
    font-family: Times
    }
.center {
    text-align: center
    }
.title {
    font-style: italic;
    font-weight: bold
    }