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

table.content td {
  border-bottom: 1px dotted gray;
}

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: 0;
  margin-top: 1ex;
  margin-bottom: 1ex;
}

table.tbl td {
  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;
}

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;
}

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

table.formula td.denom {
  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;
}

span.under {
  border-bottom: 1px dashed 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 p {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 0em;
  margin-right: 0em;
}

div.text p.cit {
  text-indent: 1em;
  margin-left: 0em;
  margin-right: 0em;
  font-size: 88%;
  font-family: sans-serif;
}

div.text p.cit a {
  font-size: 100%;
  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 {
  margin-top: 2em;
  margin-bottom: 0em;
  border-top: 1px solid;
  font-size: 85%;
  line-height: 95%;
}

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: 80%;
  line-height: 95%;
}

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

div.text p.rpage {
  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 {
  text-align: right;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 75%;
  border-bottom: 1px solid;
}

div.text p.lpage {
  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 {
  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: xx-small;
  vertical-align: 0.5em;
}

div.text sub {
  font-size: xx-small;
  vertical-align: -0.5em;
}

div.rem sup {
  font-size: 57%;
  vertical-align: 0.5em;
}

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.rem sub {
  font-size: 57%;
  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; left: 1px;
}

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

span.nowrap {
  white-space: nowrap;
}

h1, h2, h3, h4, h5 {
  text-align: center;
}

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;
}

big {
  font-size: 105%;
  font-variant: small-caps;
}

@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.rem {
    vertical-align: bottom;
  }
}