body {
    margin: 5% 15%
    }
h1, h2, h3, h4, h5, h6 {
    text-align: center
    }
body > p {
    text-align: justify
    }
hr {
    width: 65%;
    margin: 5% auto
    }
hr.tb {
    width: 35%;
    margin: 3% auto
    }
.indent {
    margin: 0 5%
    }
.indent > p {
    text-align: justify
    }
.pagenum {
    visibility: hidden;
    font-size: 75%;
    text-align: right;
    font-style: normal;
    font-weight: normal;
    font-variant: normal;
    font-family: serif;
    letter-spacing: normal;
    text-indent: 0;
    text-align: right
    }
img.centered {
    display: block;
    margin: 0 auto
    }
h1.title {
    margin: 15% 0 3%
    }
p.author {
    text-align: center;
    font-size: x-large;
    margin: 0 0 15%
    }
.publisher, .copyright {
    margin: 5% 0;
    text-align: center;
    font-size: smaller
    }
.titlepage {
    margin: 0 0 10% 0
    }
.toc {
    width: 35%;
    margin: 5% auto;
    font-weight: bold
    }
dt {
    margin: 10% 0 1%;
    text-align: center
    }
dd {
    margin: 0;
    text-align: center
    }