body {
  display:		block;
  background:		#FFFFFF none;
  color:		#000000;
  font:			normal normal normal small sans-serif
}

.bold {
  font-weight:		bold
}

emph {
  font-style:		italic
}

code {
  font-family:		monospace;
  font-size:		100%
}

span.bar {
  text-decoration:	overline
}


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

.italic {
  font-style:		italic
}

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

h1.banner {
  display:		block;
  background:		transparent none;
  font:			normal normal bold xx-large serif;
  text-align:		center
}

h1 {
  display:		block;
  background:		transparent none;
  font:			normal normal bold large sans-serif
}

h2 {
  display:		block;
  background:		transparent none;
  font:			normal normal bold medium sans-serif
}

h3 {
  display:		block;
  background:		transparent none;
  font:			normal normal bold small sans-serif
}

h4 {
  display:		block;
  background:		transparent none;
  font:			italic normal bold small sans-serif
}

h5 {
  display:		block;
  background:		transparent none;
  font:			normal normal bold x-small sans-serif
}

a.link {
  color:		#0000EC;
  background-color:	transparent;
  font:			inherit
}

a.active {
  color:		#FE0000;
  background-color:	transparent;
  font:			inherit
}

a.hover {
  color:		#C20000;
  background-color:	transparent;
  font:			inherit
}

a.visited {
  color:		#561A8A;
  background-color:	transparent;
  font:			inherit
}

a.footlink {
  background-color:	transparent;
  font:			normal normal normal small sans-serif
}

address {
  background:		transparent none;
  font:			italic normal normal x-small sans-serif
}

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

p, td, dl, ul, ol {
  font:			normal normal normal small sans-serif
}

dd.menu {
  margin: 0.2ex 0.2em 0.2ex 0.2em;
}

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

ul.arrayed > li { list-style-type: none }

li.nobull  { list-style-type: none }

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
}

ol.lower-alpha > li {
  list-style-type:	lower-alpha
}

ol.lower-roman > li {
  list-style-type:	lower-roman
}

ol.upper-alpha > li {
  list-style-type:	upper-alpha
}

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

dl.verblist > dd {
  list-style-type:	none
}

dl.verblist > dd kbd {
  font-size:		small
}

dl.tableofcontents > dd {
  list-style-type:	none;
  margin:		0.5ex 0.8em 0.5ex 0.8em
}

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:		0.5ex 0em 0.5ex 0em
}

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

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

table.layout {
  background:		transparent none;
  width:		100%;
  border-spacing:	0px;
  border-style:		none;
  padding:		2px
}

table {
  border-collapse:	collapse
}

table tbody {
  text-align:		left
}

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

img.display {
  display:		block;
  margin-left:		auto;
  margin-right:		auto
}

object.display {
  display:		block;
  margin-left:		auto;
  margin-right:		auto
}

td {
  empty-cells:		show
}

table.boxed {
  padding:		0.4ex 0.6em 0.4ex 0.6em;
  border-style:		solid;
  border-width:		0.1em
}

table.boxed td {
  padding:		0.4ex 0.6em 0.4ex 0.6em;
  border-style:		solid;
  border-width:		0.1em
}

table.chart {
  margin:		0px
}

table.chart > tbody > tr > td:first-child {
  padding-left:		0px;
  font-size:		medium;
  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
}

/*  Stuff that GFB added to enable restart of an enumerated part-list */

html {
counter-reset:		parta;
counter-reset:		partb;
counter-reset:		partc
}

ol.reparta li {
counter-increment:	parta;
list-style-type:	none
}

ol.reparta li:before {
content:		counter( parta, roman )". "
}

ol.reparta li p:first-child {
padding-left:               0.0em;
margin-top:  		   -2.5ex;
text-indent:		   +1.4em
}

ol.repartb li {
counter-increment:	partb;
list-style-type:	none
}

ol.repartb li:before {
content:		counter( partb, lower-alpha )". "
}

ol.repartb li p:first-child {
padding-left:               0.0em;
margin-top:  		   -2.5ex;
text-indent:		   +1.4em
}

ol.repartc li {
counter-increment:	partc;
list-style-type:	none
}

ol.repartc li:before {
content:		counter( partc, lower-alpha )". "
}

ol.repartc li p:first-child {
padding-left:               0.0em;
margin-top:  		   -2.5ex;
text-indent:		   +1.4em
}

/*   */

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

pre {
  font:			normal normal bold small monospace
}

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
}

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 {
  font-family:		Arial, sans-serif
}

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

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

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