/**/
p {
    text-indent: 0;
    margin-top: 0;
    margin-bottom: 0;
    padding-top: 0;
    padding-bottom: 0;
    text-align: justify
    }
h1, h2, h3, h4, h5, h6 {
    text-align: center
    }
hr {
    width: 50%
    }
hr.full {
    width: 100%
    }
div {
    width: 40%;
    margin-left: 30%;
    margin-right: 30%
    }
table {
    border: none
    }
img {
    border: none
    }
p[class="2"] {
    text-indent: 2em
    }
p[class="4"] {
    text-indent: 3em
    }
.toc {
    margin-left: 15%;
    font-size: 12pt;
    margin-bottom: 0;
    text-align: left
    }
.advert {
    font-size: 8pt
    }
.figure {
    padding: 1em;
    margin: 0;
    text-align: center;
    font-size: 0.8em;
    width: 40%
    }
.bordered {
    margin: 1em;
    border: solid;
    border-width: thin;
    border-color: black
    }