body {
  background-color: #e2dedb;
  margin-left: 10px;
  margin-top: 2px;
  margin-right: 10px;
  margin-bottom: 2px;
  font-family: serif;
}

ul.content, ul.content ul {
  margin: 0;
  padding: 0;
  padding-left: 1em;
  border: 0;
}

ul.content li {
  list-style: none;
  text-align: left;
  margin: 0;
  padding: 0;
}

ul.content big {
  font-size: 111%;
}

ul.content small {
  font-size: 90%;
}

ul.content li div {
  margin: 0;
  padding: 0;
  border: 0;
  border-bottom: 1px dotted gray;
}

ul.content li a.p {
  float: right;
  clear: both;
  font-size: 75%;
  padding: 0;
  margin: 0;
  margin-left: 1em;
}

table.tbl {
  border-collapse: collapse;
  border: 1px solid black;
  padding: 0;
  margin-left: auto;
  margin-right: auto;
  margin-top: 1ex;
  margin-bottom: 1ex;
}

table.tbl td, table.tbl td.left {
  border-collapse: collapse;
  border: 1px solid black;
  text-align: left;
  padding: 0;
  padding-right: 0.3em;
  padding-left: 0.3em;
  margin: 0;
}

table.tbl td.right {
  border-collapse: collapse;
  border: 1px solid black;
  text-align: right;
  padding-right: 0.3em;
  padding-left: 0.3em;
}

table.tbl td.center {
  border-collapse: collapse;
  border: 1px solid black;
  text-align: center;
  padding-right: 0.3em;
  padding-left: 0.3em;
}

table.tbl th {
  border-collapse: collapse;
  border: 1px solid black;
  font-size: 90%;
  font-weight: bolder;
  text-align: center;
  padding: 0;
  padding-left: 0.3em;
  padding-right: 0.3em;
  margin: 0;
}

table.formula {
  border-collapse: collapse;
  border: 0;
  padding: 0;
  margin: 0 auto;
}

table.formula td {
  border-collapse: collapse;
  border: 0;
  border-bottom: 0;
  padding: 0;
  margin: 0;
  padding-bottom: 1px;
  text-align: center;
  vertical-align: middle;
}

table.formula td.bug {
  border-bottom: 0 hidden;
}

table.formula td.denom {
  border-top: 1px solid black;
}

table.formula td.brace-left {
  border: 1px solid black;
  border-right: 0;
  width: 5px;
}

table.formula td.brace-right {
  border: 1px solid black;
  border-left: 0;
  width: 5px;
}

table.formula td.left {
  text-align: left;
}

table.formula td.right {
  text-align: right;
}

em {
  font-family: Verdana, monospace;
  font-size: 95%;
}

table.inline {
  display: inline-table !important;
}

table.inline {
  text-align: center;
  display: inline;
  vertical-align: middle;
  white-space: nowrap;
  padding: 1px;
  margin: 0;
  /*margin-right: 1px;*/
  border: 0;
  border-collapse: collapse;
}

table.inline td {
  border-collapse: collapse;
  border: 0;
  padding: 0;
  margin: 0;
  line-height: 90%;
}

table.inline td.up, table.inline td.down {
  font-size: 85%;
  text-align: left;
}

table.inline td.num {
  font-size: 85%;
  text-align: center;
}

table.inline td.denom {
  font-size: 85%;
  text-align: center;
  border-top: 1px solid black;
}

table.gummy {
  width: 100%;
  padding: 0;
  margin: 0;
  border: 0;
  border-collapse: collapse;
}

table.gummy td.left {
  text-align: left;
  white-space: nowrap;
  border-collapse: collapse;
  border: 0;
  padding: 0;
  margin: 0;
}

table.gummy td.right {
  text-align: right;
  white-space: nowrap;
  border-collapse: collapse;
  border: 0;
  padding: 0;
  margin: 0;
}

table.gummy td.middle {
  width: 100%;
  border-collapse: collapse;
  border: 0;
  border-bottom: 1px dotted gray;
  padding: 0;
  margin: 0;
}

td.under {
  border-bottom: 1px dashed black !important;
  white-space: nowrap;
  font-style: italic;
  text-align: center;
  font-size: x-small;
}

span.under {
  border-bottom: 1px dashed black;
  white-space: nowrap;
}

span.super {
  border-top: 1px solid black;
  white-space: nowrap;
}

div.text {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  margin-left: 2em;
  margin-right: 2em;
  text-align: justify;
}

div.text blockquote {
  margin: 0;
  margin-left: 2em;
}

p.text {
  text-indent: 1em;
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 2em;
  margin-right: 2em;
  text-align: justify;
}

div.text p.text {
  text-indent: 1em;
  margin-left: 0em;
  margin-right: 0em;
}

div.text div.text {
  text-indent: 1em;
  margin-left: 0em;
  margin-right: 0em;
  margin-top: 0;
  margin-bottom: 0;
}

div.text p {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 0em;
  margin-right: 0em;
}

div.text p.cit,
div.text div.cit {
  text-indent: 1em;
  margin-left: 0em;
  margin-right: 0em;
  margin-top: 0.3em;
  margin-bottom: 0.3em;
  font-size: 88%;
  font-family: sans-serif;
  line-height: 90%;
}

div.text p.cit2 {
  text-indent: 0em;
  margin-left: 0em;
  margin-right: 0em;
  margin-bottom: 0.3em;
  font-size: 88%;
  font-family: sans-serif;
  line-height: 90%;
}

div.text p.cit a,
div.text p.cit2 a,
div.text div.cit a,
div.text div.cit2 a {
  font-size: 100%;
  font-family: serif;
}

div.text p.cit span.nocit, div.text p.cit2 span.nocit {
  font-size: 110%;
  font-family: serif;
}

span.cit {
  font-size: 88%;
  font-family: sans-serif;
}

div.text p.nav {
  border-bottom: 1px solid;
  border-top: 1px solid;
  text-align: center;
}

div.rem {
  clear: both;
  margin-top: 2em;
  margin-bottom: 0em;
  border-top: 1px solid;
  font-size: 85%;
  line-height: 90%;
}

div.rem p {
  text-indent: 0em;
  margin-top: 0em;
}

div.rem p.text {
  text-indent: 1em;
  margin-top: 0em;
}

div.rem table tr td  {
  font-size: 90%;
  line-height: 95%;
}

div.text p.page {
  page-break-before: always;
}

div.text p.rpage {
  clear: both;
  text-align: right;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 75%;
  border-bottom: 1px solid;
  page-break-before: always;
}

div.text p.rpage-top {
  clear: both;
  text-align: right;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 75%;
  border-bottom: 1px solid;
}

div.text p.lpage {
  clear: both;
  text-align: left;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 75%;
  border-bottom: 1px solid;
  page-break-before: always;
}

div.text p.lpage-top {
  clear: both;
  text-align: left;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 75%;
  border-bottom: 1px solid;
}

div.text p.lpage a[name],
div.text p.lpage-top a[name],
div.text p.rpage a[name],
div.text p.rpage-top a[name] {
  color: black;
}

a.prev {
  float: left;
}

a.next {
  float: right;
}

div.text sup {
  font-size: 80%;
  vertical-align: 0.3em;
}

div.text sub {
  font-size: 80%;
  vertical-align: -0.3em;
}

div.rem sup {
  font-size: 80%;
  vertical-align: 0.3em;
}

div.rem a sup.r {
  font-size: 80%;
  vertical-align: 0.3em;
}

span.cit a sup {
  /*font-size: xx-small;*/
  font-family: serif;
}

div.rem span.cit a sup {
  font-size: 71%;
  vertical-align: 0.5em;
}

div.text span.tr {
  font-size: 95%;
}

a:link {
  text-decoration: none;
  color: blue;
}
a:visited {
  text-decoration: none;
  color: purple;
}
a:active {
  color: maroon;
}
a:hover {
  text-decoration: none;
  color: red;
  position: relative;
  /*top: 1px;*/
}

a.page:link, a.page:hover, a.page:active, a.page:visited {
  color: black;
}

span.nowrap {
  white-space: nowrap;
}

h1, h2, h3 {
  text-align: center;
  margin: 0.7em;
  font-variant: small-caps;
}

h4, h5 {
  text-align: center;
  margin: 0.7em;
}

dl {
  margin-left: 0.4em;
  margin-right: 2em;
}

ul {
  margin-left: 2em;
  margin-right: 2em;
}

ol {
  margin-left: 2em;
  margin-right: 2em;
}

ul.text {
  margin-left: 4em;
  margin-right: 2em;
  text-align: justify;
}

ol.text {
  margin-left: 4em;
  margin-right: 2em;
  text-align: justify;
}

ul.list {
  padding: 0;
  margin: 0;
  list-style: none;
}

ul.list ul {
  padding: 0;
  padding-left: 2em;
  margin: 0;
  list-style: none;
}

div.small p, div.small p.text, div.small h3 {
  font-size: 92%;
  line-height: 95%;
}

div.small h3 {
  margin: 0.2em;
}

p.root {
  text-align: justify;
  padding-left: 1em;
  text-indent: -1em;
}

p.root2 {
  text-align: justify;
  padding-left: 1em;
}

p.shift {
  text-align: justify;
  padding-left: 2em;
  text-indent: -1.2em;
}

p.shift2 {
  text-align: justify;
  padding-left: 2em;
}

p.see {
  text-align: justify;
  padding-left: 1.5em;
}

div.lcolumn {
  float: left;
  width: 49%;
  vertical-align: top;
  /*border-right: 1px solid black;*/
  padding-right: 4px;
  padding-bottom: 1em;
}

div.rcolumn {
  float: right;
  width: 49%;
  /*border-left: 1px solid black;*/
  padding-left: 4px;
  padding-bottom: 1em;
}

p.name {
  padding-left: 1em;
  text-indent: -1em;
}

p.name2 {
  padding-left: 1em;
}

.left {
  text-align: left;
}

.right {
  text-align: right;
}

.center {
  text-align: center;
}

.justify {
  text-align: justify;
}

.top {
  vertical-align: top;
}

.nowrap {
  white-space: nowrap;
}

hr {
  text-align: center;
}

table.middle {
  margin: 0 auto;
}

@media print {
  div.text {
    margin-left: 0.5em;
    margin-right: 0.5em;
    font-size: 0.5cm;
  }

  div.text p.lpage {
    margin-top: 0em;
  }

  div.text p.rpage {
    margin-top: 0em;
  }

  div.text p.text {
    margin-top: 0em;
    margin-bottom: 0em;
  }

  div.text a {
    margin: 0px;
    padding: 0px;
    color: black;
    text-decoration: none;
  }

  a.prev, a.next {
    display: none;
  }

  div.text p.nav {
    display: none;
  }

  div.noprint {
    display: none;
  }

  div.rem {
    vertical-align: bottom;
    font-size: 85%;
    line-height: 90%;
  }

  div.rem sup {
    vertical-align: 0.2em;
    font-size: 70%;
  }

  div.rem sub {
    vertical-align: -0.2em;
    font-size: 70%;
  }

  div.small p, div.small p.text, div.small h3 {
    font-size: 90%;
    line-height: 90%;
  }
}