body {
  display: block;
  margin: 2ex 1em 2ex 1em;
  color: #000033;
  background-color: #fcfcfc;
  font-family:  Arial, sans-serif;
  font-size: 1em;
}

h1 {
  display: block;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
  color: #000066;
  background-color: #fcfcfc;
  font-size: 2.00em;
}


.display {
  display: block;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

.bold {
  font-weight: bold;
}

emph {
  font-style: italic;
}

.bold-italic {
  font-style: italic;
  font-weight: bold;
}

.italic {
  font-style: italic;
}

.altemph {
  font-family: "luxi sans", freesans, sans-serif;
  font-style: oblique;
}

h2 {
  display: block;
  font-size: 1.75em;
  font-weight: bold;
  color: #000066;
  background-color: #fcfcfc;
}

h3 {
  display: block;
  font-size: 1.50em;
  font-weight: bold;
  color: #000066;
  background-color: #fcfcfc;
}

h4 {
  display: block;
  font-size: 1.25em;
  font-weight: bold;
  color: #000066;
  background-color: #fcfcfc;
}

h5 {
  display: block;
  font-size: 1.00em;
  font-weight: bold;
  color: #000066;
  background-color: #fcfcfc;
}

kbd {
  display: inline;
  font-family: monospace;
  font-weight: bold;
}

p {
  margin: 2ex 0em 2ex 0em;
}

dl, ol, ul {
  margin: 1ex 1em 1ex 1em;
}

dt {
  margin-left: 1em;
  margin-right: 1em;
  margin-bottom: 1ex;
}

dd {
  margin-left: 2em;
  margin-right: 1em;
  margin-bottom: 1ex;
}

dl.Menu > dd {
  margin-bottom: 2ex;
}

li {
  margin-left: 1em;
  margin-right: 1em;
  margin-bottom: 1ex;
}

ul > li {
  list-style-type: disc;
}

ul > li li {
  list-style-type: circle;
}

ul > li li li {
  list-style-type: square;
}

ol.decimal > li {
  list-style-type: decimal;
  margin-bottom: 1ex;
}

ol.lower-alpha > li {
  list-style-type: lower-alpha;
  margin-bottom: 0.5ex;
}

ol.lower-roman > li {
  list-style-type: lower-roman;
  margin-bottom: 0.5ex;
}

ol.upper-alpha > li {
  list-style-type: upper-alpha;
  margin-bottom: 0.5ex;
}

dl.verblist {
  display: block;
  margin: 1ex 2em 1ex 1em;
  border-style: none;
  padding: 1em 0em 1em 0em;
  font-family: monospace;
  font-weight: bold;
}

dl.verblist > dd {
  list-style-type: none;
  margin: 0ex 0em 0.25ex 0em;
}

dl.verblist > dd kbd {
  font-size: 1em;
}

dl.tableofcontents > dd {
  list-style-type: none;
  margin-left: 2em;
  margin-right: 2em;
  margin-top: 0.5ex;
  margin-bottom: 0.5ex;
}

dl.tableofcontents > dd dd {
  list-style-type: none;
  margin-top: 0.2ex;
  margin-bottom: 0.2ex;
}

dl.assertion {
  margin: 1ex 0em 1ex 0em;
}

dl.assertion > dt {
  margin-left: 0em;
  margin-right: 0em;
}

dl.assertion > dd {
  margin-left: 0em;
  margin-right: 0em;
  font-style: italic;
}

dl.assertion > dd b {
  font-style: normal;
  font-weight: bold;
}

dl.definition {
  margin: 1ex 0em 1ex 0em;
}

dl.definition > dt {
  margin-left: 0em;
  margin-right: 0em;
}

dl.definition > dd {
  margin-left: 0em;
  margin-right: 0em;
  font-style: normal;
}

table {
  border-collapse: collapse;
}

.display table {
  margin-left: auto;
  margin-right: auto;
}

table tbody {
  text-align: left;
}

div {
  margin: 1em 0 1em 0;
}

div.tableofcontents {
  margin: 2ex 2em 2ex 2em;
}

div.section {
  margin: 3em 0 3em 0;
}

div.subsection {
  margin: 2em 0 2em 0;
}

div.subsubsection {
  margin: 1em 0 1em 0;
}

table.gdisplay {
  margin-left: auto;
  margin-right: auto;
}

td {
  empty-cells: show;
  padding-left: 0.6em;
  padding-right: 0.6em;
  padding-top: 0.4ex;
  padding-bottom: 0.4ex;
}

table.boxed {
  border-style: solid;
  border-width: 0.1em;
}

table.boxed td {
  border-style: solid;
  border-width: 0.1em;
}

table.chart {
  margin: 0px;
}

table.chart > tbody >tr > td:first-child {
  padding-left: 0px;
  font-size: 1.25em;
  color: #000066;
  background-color: inherit;
}

tr.boxed {
  border-top-style: solid;
  border-top-width: 0.1em;
  border-bottom-style: solid;
  border-bottom-width: 0.1em;
}

tr.truled {
  border-top-style: solid;
  border-top-width: 0.1em;
}

tr.bruled {
  border-bottom-style: solid;
  border-bottom-width: 0.1em;
}

td.boxed {
  border-left-style: solid;
  border-left-width: 0.1em;
  border-right-style: solid;
  border-right-width: 0.1em;
}

td.lruled {
  border-left-style: solid;
  border-left-width: 0.1em;
}

td.rruled {
  border-right-style: solid;
  border-right-width: 0.1em;
}

pre {
  font-family: monospace;
  font-weight: bold;
  font-size: 0.8em;
}

mlabeledtr {
  display: table-row;
}

math {
  white-space: nowrap;
}

math[class="display"], math[display="block"], math[mode="display"] {
  display: block;
  margin-top: 1ex;
  margin-bottom: 1ex;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

mlabeledtr > mtd:first-child {
  color: #005500;
  background-color: #fcfcfc;
}

mtr[class="labeled"] > mtd:first-child {
  color: #005500;
  background-color: #fcfcfc;
}

mi[class="invisible"] {
  display: none;
}

[mathvariant="script"] {
  font-family: "Euclid Math One", serif;
}
[mathvariant="fraktur"] {
  font-family: "Euclid Fraktur", serif;
}
[mathvariant="double-struck"] {
  font-family: "Euclid Math Two", serif;
}

a:link {
  color: #0000B0;
  background-color: #fcfcfc;
}

a:visited {
  color: #000077;
  background-color: #fcfcfc;
}

a:active {
  color: #B00000;
  background-color: #fcfc00;
}

a:hover {
  color: #800000;
  background-color: #fcfc00;
}

mtd[columnalign="left"] {
  text-align: left;
}

mtd[columnalign="center"] {
  text-align: center;
}

mtd[columnalign="right"] {
  text-align: right;
}

mtable[class="boxed"] {
  border-style: solid;
  border-width: 0.1em;
  padding: 1ex 1em 1ex 1em;
}

mtable[class="substack"] {
  font-size: 0.7em;
}

mtable[class="substack"] mtr {
  margin: 0 ;
  padding: 0 ;
}

mtable[class="substack"] mtr mtd {
  margin: 0 ;
  padding: 0 ;
}

mo[class="prime"] {
  font-size: 0.6em;
  vertical-align: super;
}

mtext[class="strong"] {
  font-weight: bold;
}

mtext[class="emphasized"] {
  font-style: italic;
}

mtext[class="stringtext"] {
  font-family: monospace;
}