/**/
body {
    margin-left: 10%;
    margin-right: 10%
    }
div.sum {
    page-break-before: always;
    page-break-after: always
    }
div.break {
    page-break-before: always
    }
h1, h2 {
    text-align: center;
    clear: both
    }
p {
    margin-top: 0.2em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 1.5em
    }
.pn {
    margin-top: 0.2em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 0
    }
.pn10 {
    margin-top: 0;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 10%;
    text-indent: 0
    }
.pni10 {
    margin-top: 0.5em;
    text-align: justify;
    margin-bottom: 0;
    padding-left: 2em;
    text-indent: -2em
    }
.ptn {
    margin-top: 0.3em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: -1em;
    margin-left: 2%
    }
.p1 {
    margin-top: 1em
    }
.p2 {
    margin-top: 2em
    }
.p4 {
    margin-top: 4em
    }
.b1 {
    margin-bottom: 1em
    }
.b2 {
    margin-bottom: 2em
    }
.small {
    font-size: 75%
    }
.reduct {
    font-size: 90%
    }
.lmid {
    font-size: 110%
    }
.mid {
    font-size: 125%
    }
.large {
    font-size: 150%
    }
.elarge {
    font-size: 175%
    }
hr {
    width: 33%;
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 33.5%;
    margin-right: 33.5%;
    clear: both
    }
hr.chap {
    width: 65%;
    margin-left: 17.5%;
    margin-right: 17.5%
    }
table {
    margin-left: auto;
    margin-right: auto
    }
.tdc {
    text-align: center
    }
.tdlh {
    text-align: left;
    vertical-align: top
    }
.tdrl {
    text-align: right;
    vertical-align: bottom
    }
#toc1 {
    width: 80%;
    line-height: 1em;
    margin-top: 1em
    }
#t001 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t002 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t003 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t004 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t005 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t006 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t007 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t008 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t009 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t010 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t011 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t012 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t013 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t014 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t015 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t016 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t017 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t018 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t019 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t020 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t021 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t022 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t023 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t024 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t025 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t026 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t027 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t028 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t029 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t030 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t031 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t032 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t033 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t034 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t035 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t036 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t037 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t038 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t039 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t040 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t041 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t042 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t043 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t044 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t045 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t046 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t047 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t048 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t049 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t050 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t051 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t052 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t053 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t054 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t055 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t056 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t057 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t058 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t059 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t060 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t061 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t062 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t062 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t063 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t064 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t065 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t066 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t067 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t068 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t069 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t070 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t071 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t072 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t073 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t074 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t075 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t076 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t077 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t078 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t079 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t080 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t081 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t082 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t083 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t084 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t085 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t086 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t087 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t088 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t089 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t090 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t091 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t092 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t093 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t094 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t095 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t096 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t097 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t098 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t099 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t100 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t101 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t102 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t103 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t104 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t105 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t106 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t107 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t108 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t109 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t110 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t111 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t112 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t113 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t114 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t115 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t116 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t117 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t118 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t119 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t120 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t121 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t122 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t123 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t124 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t125 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t126 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t127 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t128 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t129 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t130 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t131 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t132 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t133 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t134 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t135 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#t136 {
    width: 100%;
    line-height: 1em;
    margin-top: 1em
    }
#tind {
    width: 80%;
    line-height: 1em;
    margin-top: 1em
    }
.pagenum {
    /* visibility: hidden; */
    font-size: smaller;
    text-align: right;
    text-indent: 0;
    font-style: normal;
    font-weight: normal
    }
.center {
    text-align: center
    }
.caption {
    font-weight: bold
    }
.figcenter {
    margin: auto;
    text-align: center
    }
.floatleft {
    clear: left;
    text-align: center;
    margin: 0 7px 0 0
    }
.floatright {
    clear: right;
    text-align: center
    }
.transnote {
    background-color: #E6E6FA;
    color: black;
    font-size: smaller;
    padding: 0.5em;
    margin-bottom: 5em;
    font-family: sans-serif, serif
    }
/**/