a {
    text-decoration: none
    }
a:hover {
    text-decoration: underline
    }
.allclear {
    clear: both
    }
.bb {
    border-bottom: solid thin
    }
.bl {
    border-left: solid thin
    }
body {
    margin-left: 10%;
    margin-right: 10%;
    max-width: 65em
    }
.br {
    border-right: solid thin
    }
.bt {
    border-top: solid thin
    }
.caption {
    font-size: 0.9em
    }
.caption.main {
    text-align: center;
    text-indent: 0;
    line-height: 2em
    }
.caption.secondary {
    margin: 1em 2em
    }
.caption.secondary.hind02 {
    margin-left: 3em;
    text-indent: -1em
    }
.caption.tertiary {
    margin: 0 2em
    }
.center {
    text-align: center;
    text-indent: 0
    }
.chapcont {
    margin: 2em 10%
    }
.chapcont p {
    font-size: 0.9em;
    margin-left: 2em;
    text-indent: -2em
    }
.figcenter {
    margin: 1.5em auto;
    text-align: center
    }
.figleft {
    clear: left;
    margin: 1em 1em 1em 0;
    padding: 0;
    text-align: center
    }
@media all {
    .figleft {
        float: left;
        clear: left
        }
    }
.figright {
    clear: right;
    margin: 1em 0 1em 1em;
    padding: 0;
    text-align: center
    }
@media all {
    .figright {
        float: right;
        clear: right
        }
    }
.fsize70 {
    font-size: 0.7em
    }
.fsize80 {
    font-size: 0.8em
    }
.fsize90 {
    font-size: 0.9em
    }
.fsize110 {
    font-size: 1.1em
    }
.fsize125 {
    font-size: 1.25em
    }
.fsize150 {
    font-size: 1.5em
    }
.fsize300 {
    font-size: 3em
    }
.gesp1 {
    letter-spacing: 0.1em;
    margin-right: -0.1em
    }
.gesp2 {
    letter-spacing: 0.2em;
    margin-right: -0.2em
    }
h1, h2, h3, h4 {
    text-align: center;
    margin-top: 1.5em;
    margin-bottom: 1.5em;
    page-break-after: avoid
    }
h1 {
    font-size: 3em;
    line-height: 2em
    }
h2.jenkins {
    font-size: 2.5em;
    line-height: 1.5em
    }
h3, h4 {
    margin-top: 1em;
    margin-bottom: 1em;
    font-weight: normal;
    font-size: 1em
    }
hr {
    width: 34%;
    margin: 2em 33%;
    color: black;
    clear: none
    }
hr.chap {
    width: 26%;
    margin: 1em 37%;
    page-break-after: avoid;
    clear: both
    }
hr.sec {
    width: 6%;
    margin: 1em 47%;
    clear: both
    }
.just {
    text-align: justify
    }
.leftblock {
    margin: 4em 50% 4em 0
    }
p {
    margin-top: 0;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 1em
    }
p.blankbefore1 {
    margin-top: 1em
    }
p.blankbefore2 {
    margin-top: 2em
    }
p.blankbefore3 {
    margin-top: 3em
    }
p.center {
    text-align: center;
    text-indent: 0
    }
p.highline2 {
    line-height: 2em
    }
p.highline3 {
    line-height: 3em
    }
p.highline5 {
    line-height: 5em
    }
p.highline15 {
    line-height: 1.5em
    }
p.hind02 {
    text-indent: -1em;
    margin-left: 1em
    }
p.largeillo {
    text-align: right;
    font-size: 0.8em;
    margin-top: 0.25em
    }
@media all {
    p.largeillo {
        display: none
        }
    }
p.noindent {
    text-indent: 0
    }
p.thinline {
    line-height: 0.001em
    }
.padl5 {
    padding-left: 2.5em
    }
.padl10 {
    padding-left: 5em
    }
.padr6 {
    padding-right: 3em
    }
.padr8 {
    padding-right: 4em
    }
.padr10 {
    padding-right: 5em
    }
.pagenum {
    font-size: 0.75em;
    text-align: right;
    color: gray;
    text-decoration: none;
    font-weight: normal;
    font-style: normal;
    text-indent: 0
    }
@media all {
    .pagenum {
        display: none
        }
    }
.right {
    text-align: right
    }
.rightblock {
    margin: 4em 0 4em 50%
    }
.righttext {
    padding-left: 1em;
    display: inline-block
    }
@media all {
    .righttext {
        float: right;
        display: block
        }
    }
.scr {
    display: block
    }
@media all {
    .scr {
        display: none
        }
    }
.smcap {
    font-variant: small-caps
    }
.splitfig12 {
    clear: both
    }
@media all {
    .splitfig12 {
        clear: both
        }
    }
.splitfig12 p.caption.secondary {
    margin-left: 0;
    margin-right: 0;
    text-align: center;
    vertical-align: top;
    text-indent: 0
    }
.splitfig12 .leftfig12 {
    clear: left
    }
@media all {
    .splitfig12 .leftfig12 {
        float: left;
        clear: left
        }
    }
.splitfig12 .rightfig12 {
    clear: right
    }
@media all {
    .splitfig12 .rightfig12 {
        float: right;
        clear: right
        }
    }
.sstype {
    font-family: sans-serif
    }
table {
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 1em;
    margin-top: 1em;
    border-collapse: collapse
    }
table.jenkins {
    margin: 2em 0
    }
table.jenkins td.book {
    text-align: justify;
    text-indent: -1em;
    padding-left: 1em;
    padding-right: 1em;
    vertical-align: top
    }
table.jenkins td.book.noauthor {
    text-indent: 0
    }
table.jenkins td.price {
    text-align: right;
    vertical-align: bottom;
    white-space: nowrap
    }
.titpag {
    margin: 2em auto;
    padding: 1em;
    text-align: center;
    border: solid medium;
    width: 30em
    }
.tnbot {
    border: dashed thin;
    margin: 1em 10%;
    padding: 0.5em
    }
.tnbot h2 {
    font-size: 1em
    }
.tnbot p {
    text-indent: -1em;
    margin-left: 1em
    }
.tnbox {
    border: dashed thin;
    margin: 1em 20%;
    padding: 1em
    }
ul.contents {
    list-style: none;
    max-width: 25em
    }
ul.contents li {
    text-align: justify
    }
ul.contents li.startletter {
    margin-top: 0.75em
    }