body {
    margin-left: 7%;
    margin-right: 7%
    }
p {
    line-height: 1.33em
    }
h2 {
    margin-top: 2em
    }
h3 {
    margin-top: 1.5em
    }
hr {
    width: 40%
    }
ol.TOC {
    list-style-type: upper-roman;
    margin-right: 5%
    }
.ctr {
    text-align: center
    }
div.ctr img {
    margin-left: auto;
    margin-right: auto
    }
p.caption {
    margin-top: 0;
    font-size: smaller
    }
ins.correction {
    text-decoration: none;
    border-bottom: thin dotted gray
    }