/**/
body {
    margin-left: 10%;
    margin-right: 10%
    }
h1, h2, h3 {
    text-align: center;
    /* all headings centered */
    clear: both
    }
.spaced {
    line-height: 180%
    }
p {
    margin-top: 0.75em;
    text-align: justify;
    margin-bottom: 0.75em
    }
.t1 {
    text-align: center;
    font-size: 1.4em
    }
.t2 {
    text-align: center;
    font-size: 1.2em
    }
.t3 {
    text-align: center;
    font-size: 1em
    }
.t4 {
    text-align: center;
    font-size: 0.9em
    }
.t5 {
    text-align: center;
    font-size: 0.8em
    }
.sep0 {
    margin-bottom: 0
    }
.sep2 {
    margin-top: 1.5em
    }
.sep3 {
    margin-top: 3em
    }
.sep4 {
    margin-top: 4em
    }
.dottedline {
    border-top: thin dotted black
    }
.asterism {
    font-size: 1.2em;
    text-align: center;
    line-height: 0.5em;
    margin-top: 1.5em;
    margin-bottom: 1.5em
    }
.cit {
    text-align: right;
    font-size: 0.9em;
    margin-bottom: 0
    }
.aut {
    text-align: right;
    font-size: 0.9em;
    margin-top: 0
    }
sup {
    font-size: 0.8em
    }
.pagenum {
    visibility: hidden;
    font-size: smaller;
    text-align: right
    }
/* page numbers invisible*/
.blockquot {
    font-size: 0.9em
    }
ins {
    text-decoration: none;
    border-bottom: thin dotted gray
    }
.smcap {
    font-variant: small-caps;
    font-size: 0.9em
    }
.figcenter {
    margin-top: 2em;
    margin-bottom: 2em;
    text-align: center
    }
table {
    width: 80%;
    margin-left: auto;
    margin-right: auto
    }
.tdl {
    width: 90%;
    text-align: left;
    padding-left: 1em;
    text-indent: -1em;
    padding-right: 1em
    }
.tdr {
    width: 10%;
    text-align: right;
    vertical-align: bottom
    }
.tdrl {
    width: 10%;
    text-align: left;
    vertical-align: bottom
    }
.footnote {
    margin-left: 5%;
    margin-right: 5%;
    font-size: 0.9em
    }
.fnanchor {
    vertical-align: super;
    font-size: 0.8em;
    text-decoration: none
    }
.box {
    width: 50%;
    margin-left: auto;
    margin-right: auto
    }
a:link {
    color: blue;
    text-decoration: none
    }
a:visited {
    color: blue;
    text-decoration: none
    }
a:hover {
    color: black;
    text-decoration: underline
    }
/**/