* html {
  overflow:hidden;
}

body {
  margin:0;
  padding:0 10px 0 10px;
  height:100%;
  overflow:auto;

  /* from MoFPP */
  font-weight:bold;
  font-family:Verdana, Arial;
  font-size:12pt;
  line-height:16pt;
  color:#007733;
  /*background-color:#EEFFEE;*/
  background-color:#FFFFFF;
}

#nav {
  position:fixed;
  display:block;
  top:25px;
  left:0px;
  width:175px;
  /*height:200px;*/
  height:100%;
  background:transparent;
  background-color:blue;
  /*margin-left:5px;*/
  padding-left:2px;
  padding-top:1px;
}

* html #nav {
  position:absolute;
  display:block;
  top:25px;
  left:10px;
  width:175px;
  height:200px;
  /*margin-left:10px;*/
  background:transparent;
}

#nav ul {
  margin: 0;
  padding: 0;
  list-style-type: none;
}

#nav li a {
  width: 12em;
  margin: .2em 0 .2em .2em;
  font-weight: bold;
  padding: .2em .8em .2em .4em;
  color: #00FFFF;
}

#nav li li a {
  width: 11.5em;
  margin: .2em 0 .2em .2em;
  padding: .2em .8em .2em .4em;
  font-weight: normal;
}

#nav li li li a {
  width: 11em;
  margin: .2em 0 .2em .2em;
  padding: .2em .8em .2em .4em;
  font-weight: normal;
}

#nav ul ul {
  margin-left: .5em;
}

#nav ul ul ul {
  margin-left: .5em;
}

#nav a {
  text-decoration: none;
  background-color: #4682B4;
  display: block;
  border-style: outset;
  border-width: 3px;
}

#nav li a:hover {
  background-color: #6A5ACD;
  border-style: inset;
}

#nav li li a:hover {
  background-color: #6A5ACD;
  border-style: inset;
}

#nav li li li a:hover {
  background-color: #6A5ACD;
  border-style: inset;
}

#nav li a#current {
  background-color: #708090;
}

#nav li li a#subcurrent {
  background-color: #708090;
}

#nav li li li a#subsubcurrent {
  background-color: #708090;
}

#content {
  display:block;
  margin-left:180px;
  /*border-left:1px solid #000;*/
  padding:10px;
}

td{
  font-weight:bold;
  font-family:Verdana, Arial;
  font-size:12pt;
  line-height:16pt;
}

caption{
  font-size:12pt;
  text-align:left;
}

.sentence {
  color:#9966FF;
}

/* <span class="inline_definition"> */
.inline_definition {
  font-style:italic;
  color:#9966FF;
}

sub {
  font-size:8pt;
}

p.pseudoheadline {
  margin-left:0;
  margin-right:0;
}

p {
  margin-left:5em;
  margin-right:5em;
}

p.sfpt_para {
  margin-left:1em;
  margin-right:3em;
}

p.in7 {
  margin-left:7em;
  margin-right:7em;
}

p.in10 {
  margin-left:10em;
  margin-right:10em;
}

p.in1 {
  margin-left:1em;
  margin-right:1em;
}

.cellText{
  text-align:left;
  padding:.5em;
}

p.numbered {
  text-indent:-2em;
  margin-left:7em;
  margin-right:7em;
}

p.ni_2_4_2 {
  text-indent:-2em;
  margin-left:4em;
  margin-right:2em;
}

p.in10 {
  margin-left:10em;
  margin-right:10em;
}

p.question{
  margin-left:2em;
  font-style:italic;
  font-size:14pt;
}

p.intable {
  margin-left:.5em;
  margin-right:.5em;
}

/*
dl {
  margin-left:5em;
  float:left;
  clear:both;
}

dt {
  margin-left:0em;
  margin-right:5px;
  margin-top:10px;
  clear:left;
  float:left;
}

dd {
  margin-left:0em;
  margin-top:10px;
  float:left;
}
*/

dl {
  margin-left:5em;
  border-width:0px;
  border-style:solid;
  border-color:red;
}

dt {
  margin-left:0em;
  margin-right:5px;
  margin-top:10px;
  border-width:0px;
  border-style:solid;
  border-color:blue;
}

dd {
  margin-left:3em;
  margin-right:5px;
  margin-top:10px;
  border-width:0px;
  border-style:solid;
  border-color:yellow;
}

p.endmarker {
  clear:left;
}

h1 {
  text-align:center;
  font-size:18pt;
}

h2 {
  margin-left:2em;
  font-size:16pt;
  margin-top:3em;

}

h3 {
  margin-left:3em;
  font-size:14pt;
}

h3.clan_header {
  text-align:left;
  margin-left:.5em;
  font-size:14pt;
}

h4 {
  margin-left:3em;
  font-style:italic;
  font-size:14pt;
  margin-top:3em;
}

h5 {
  margin-left:5em;
  font-size:12pt;
}

.in7l {
  margin-left:7em;
}

.in7em {
  margin-left:7em;
  margin-right:7em;
}

q {
  color:#FF9933;
}

.quote {
  margin-left:7em;
  margin-right:7em;
  color:#FF9933;
}

.quote_color {
  color:#FF9933;
}

.quote12 {
  margin-left:12em;
  margin-right:12em;
  color:#FF9933;
}

.rhetorical {
  margin-left:7em;
  margin-right:7em;
  color:#FF9933;
}

.equation {
  text-align:center;
  background-color:#9966FF;
  color:#CCCCFF;
  border-style:outset;
  border-width:medium;
  border-color:#663399;
  padding-top:1em;
  padding-bottom:1em;
}

.axiom {
  text-align:center;
  background-color:#9966FF;
  color:#CCCCFF;
  border-style:outset;
  border-width:medium;
  border-color:#663399;
  padding-top:1em;
  padding-bottom:1em;
}

.epigram {
  margin-left:7em;
  margin-right:7em;
  color:#FF9933;
}

.epigram2 {
  margin-left:35%;
  /*margin-right:5%;*/
  color:#FF9933;
}

div.footnote{

}

html>body hr.fnote {
  width:90%;
  height:2px;
  background-color:red;
  text-align:center;
}

/*margin-right:0; width:30%; height:2px; background-color:#F00; border:none; } */


p.reference {
  text-indent:-3em;
  margin-left:10em;
  margin-right:5em;
  color:#FF9933;
}

.indent1 {
  margin-left:4em;
}

.indent2 {
  margin-left:6em;
}

.indent3 {
  margin-left:8em;
}

blockquote {
  margin-left:4em;
}

.i_x {
  font-size:12pt;
}


.i_1 {
  font-size:12pt;
}

.i_2 {
  font-size:12pt;
  /*font-style:italic;*/
}

.i_3 {
  font-size:12pt;
}

.bracket {
  font-size:16pt;
}

.bar {
  font-size:10pt;
}

table.diagram {
  margin-left:auto;
  margin-right:auto;
  text-align:center;
  border-width:5px;
  border-style:outset;
  border-top-color:#33CCFF;
  border-left-color:#33CCFF;
  border-bottom-color:#3399CC;
  border-right-color:#3399CC;
  font-weight:bold;
  font-family:Verdana, Arial;
  font-size:12pt;
}

table.comparison {
  text-align:left;
  border-width:5px;
  border-style:outset;
  border-top-color:#33CCFF;
  border-left-color:#33CCFF;
  border-bottom-color:#3399CC;
  border-right-color:#3399CC;
  font-weight:bold;
  font-family:Verdana, Arial;
  font-size:12pt;
}

table.comparison td{
  vertical-align:top;
}

table.diagram td {
  padding-left:.5em;
  vertical-align:top;
}

table.trilogue {
  margin-left:auto;
  margin-right:auto;
  text-align:center;
  font-weight:bold;
  font-family:Verdana, Arial;
  font-size:12pt;
}

table.trilogue td {
  padding-left:.5em;
  vertical-align:top;
  text-align:left;
}

table.qar {
  font-weight:bold;
  font-family:Verdana, Arial;
  font-size:12pt;
}

table.qar td {
  vertical-align:top;
}

table.qar ul {
  list-style-type:none;
  margin-left:0em;
}

ul.nobull0 {
  list-style-type:none;
  margin-left:0em;
}

table.qar h3 {
  margin-left:0em;
}

table.qar p {
  margin-left:1em;
}

td.qarCell {
  padding:1em;
}

td {
  padding:1em;
}

/* List Styles */
ol.intable {
  margin-left:.5em;
}

ol.level2 {
  margin-left:1em;
}

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

ul.nobull5 {
  margin-left:5em;
  margin-right:5em;
  list-style-type:none;
}

.toc {
  margin-left:0em;
  list-style-type:none;
}

.toc li {
  margin-left:0em;
}

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

ol.multilevel {
  margin-left:5em;
  margin-right:5em;
}

ol.multilevel li{
  margin-bottom:.5em;
}

ol.l2 {
  margin-left:2em;
}

.outliner {
  margin-left:2em;
  list-style-type:none;
}
/* END List Styles */

/* Axiom/Quote Display Box */
.ax_name {
  width:15%;
  float:left;
  border-width:0px;
  border-style:solid;
  border-color:red;
}

.ax_value {
  width:80%;
  float:left;
  border-width:0px;
  border-style:solid;
  border-color:red;
}

.ax_clear {
  width:100%;
  clear:left;
}

.axioms {
  width:80%;
  text-align:left;
  background-color:#9966FF;
  color:#CCCCFF;
  font-weight:bold;
  font-size:12pt;
  border-style:outset;
  border-width:medium;
  border-color:#663399;
  padding-top:.75em;
  padding-left:3px;
  padding-bottom:.5em;
  margin-left:7em;
}

.args {
  width:90%;
  text-align:left;
  font-weight:bold;
  font-size:12pt;
  color:#FF9933;
  padding-top:.75em;
  padding-left:3px;
  padding-bottom:.5em;
  margin-left:7em;
}

.arg_loose {
  font-weight:bold;
  font-size:12pt;
  color:#FF9933;
}

.arg_step {
  width:5%;
  float:left;
  border-width:0px;
  border-style:solid;
  border-color:red;
}

.arg_value {
  width:90%;
  float:left;
  border-width:0px;
  border-style:solid;
  border-color:red;
}

ol.oList {
}

ol.oList li {
  margin-right:10em;
}

.emph_intro {
  color:#9966FF;
}

.emph3 {
  font-style:italic;
  color:#9966FF;
}

.emph2 {
  color:#9966FF;
}

.quote_2 {
  margin-left:7em;
  margin-right:7em;
  color:#9966FF;
}

.emph1 {
  font-style:italic;
}

.emph0 {
  font-style:italic;
  color:#009933;
}