.indent {
  margin-left: 5ex;
}

P {
  width: 624px;
  margin-left: auto;
  margin-right: auto;
}



BODY {
  color: #000;
  background: #FFFFFF;
  font-family: verdana, helvetica, sans-serif;
  font-size: 17.5px;
  width: 624px;
  text-align: justify;
  margin-left: auto;
  margin-right: auto;
}

.setWidth {
  width:624px;
}

HR {
  text-align: center;
  width: 75%;
}

A:link { color: #099 }

A:visited, A:active { color: #099 }

DT {
  color: #099;
}

CODE, .fixed {
  font-family: Courier, monospace;
  padding-bottom: 5pt;
  color: #933;
}

TR {
  vertical-align: top;
}

TH {
  background-color: #ACC;
}

TD {
  text-align: left;
}

.chapter {
  background-color: #fff;
  color: #099;
  border: solid #099;
  width: 624px;
}

.chapter table, .menu A:link, .menu A:visited {
  font-size: 90%;
}

.h0 {
  text-align: center;
  text-transform: uppercase;
  font-size: 350%;
  border-bottom: solid #099;
  width: 624px;
}

H1, H2, H3, H4, H5, H6 {
 color: #099;
 width: 624px;
}

h2.narrow {
 width: 100%;
}

H2 {
  font-family: verdana, helvetica, sans-serif;
  border-top: solid #099 5px;
  border-bottom: solid #099 5px;
  text-align: center;
  padding: 0.5ex;
}

H1 {
  background-color: #099;
  color: white;
  text-align: center;
}

H3 {
  text-decoration: none;
}

H4 {
  font-size: 110%;
  font-weight: normal;
}

TD H2 {
  color: #099;
}



.addition {
  color: #33cc33;
  font-size: 125%;
}

strike, .strike {
 color: red;
 text-decoration: line-through;
}

ins, .ins {
 color: blue;
 text-decoration: underline;
}

.oath {
  font-family: sans-serif;
  font-weight: bold;
  margin-left: auto;
  margin-right: auto;
  white-space: pre;
  width: 60ex;
}

.test {
}

DL {
  color: black;
  margin-left: 5ex;
}

pre, pre * td {
  font: "Courier New";
  text-align: left;
  font-size: 10pt;
  background-color: #EEE;
  color: #000;
  margin-left: 0ex;
  margin-right: auto;
}

pre strong {
  color: #099;
  /*font-weight: bold;*/
}

pre b, strong {
  color: #099;
  /*font-weight: bold;*/
}

strong {
  font-weight: normal;
}

samp {
  font-style: italic;
  font-family: verdana, helvetica, sans-serif;
}

div.figure img {
  margin-left: -10px;
}

img.browser {
  font-size: 12pt;
  font-family: monospace;
  /*width: 624px;*/
}

em {
  font-style: normal;
  font-family: monospace;
  font-size: 10pt;
}

.mainmenu A:link, .mainmenu A:visited, .mainmenu A:active, .mainmenu {
  background-color: #099;
  color: white;
  text-decoration: none;
  padding-left: 1ex;
  padding-right: 1ex;
}

td.mainmenu {
  border-left: solid white 2px;
}

TABLE.NARROW {
    border: solid 1px;
}

TR.NARROW {
  font-size: 10pt;
  font-family: monospace;
}

.NARROW TD, .NARROW TH{
  border: solid 1px;
}

div.index {
    font-size: 8pt;
    margin-left: 20%;
    margin-right: auto;

}

DIV.INDEX * OL {
  list-style-type: upper-roman;
}

DIV.INDEX * OL OL {
  list-style-type: upper-alpha;
}

DIV.INDEX * OL OL OL {
  list-style-type: upper-roman;
}

DIV.INDEX * OL OL OL OL {
  list-style-type: lower-alpha;
}

DIV.INDEX * OL OL OL OL OL {
  list-style-type: lower-roman;
}

DIV.INDEX * OL OL OL OL OL OL {
  list-style-type: disc;
}


table.index {
  margin-left: 5ex;
  margin-right: auto;
}

table.index ol {
  list-style-type: none;
}

OL {
  list-style-type: decimal;
}

OL OL {
  list-style-type: upper-alpha;
}

OL OL OL {
  list-style-type: upper-roman;
}

OL OL OL OL {
  list-style-type: lower-alpha;
}


OL OL OL OL OL {
  list-style-type: lower-roman;
}


OL OL OL OL OL OL {
  list-style-type: disc;
}

div.note {
  /*width: 300px;
  float: right;*/
  background-color: #EFE;
  text-align: left;
  border: solid #3C3;
  margin: 5px;
}

div.warning {
  /*width: 300px;
  float: right;*/
  background-color: #FEE;
  text-align: left;
  border: solid #C33;
  margin: 5px;
}

div.menu {
  background-color: white;
  text-align: center;
  padding: 3px;
}

div.like {
  background-color: #EEF;
  padding: 10px;
  margin: 20px;
  border: solid #33C;
}


.centerBlock {
    margin-right: auto;
    margin-left: auto;
}

.center {
  text-align: center;
}

.figure {
    padding: 10px;
}

.figureRight {
    width: 55%;
    padding: 10px;
    float: right;
}

.diagram {
    background-color: #EEE;
    border: solid black;
    padding: 10px;
}

.diagramRight {
    width: 55%;
    background-color: #EEE;
    border: solid black;
    padding: 10px;
    float: right;
}

.heading {
    position: relative;
}

.label {
    top: -1.25em;
    padding-left: 1ex;
    padding-right: 1ex;
    position: absolute;
    background-color: white;
    font-weight: bold;
}

.imageFull {
    width: 100%;
    height: 100%;
}

.diagram P {
    width: 600px;
}

.full {
  width: 624px;
}

.normal * h1, .normal * h2, .normal * h3, .normal * h4, .normal * h5, .normal * h6, .normal * pre {
  width: 100%;
}

.small {
    font-size: 80%;
    font-style: italic;
}

.browser {  
  font-size: 100%;
  font-weight: normal;
  color: #099;
}

.default {
    text-align: left;
    color: black;
    background-color: white;
    border: none;
}

kbd.default, samp.default, code.default {
    font-family: monospace;
    font-size: 100%;
    font-weight: normal;
}

em.default {
    font-size: 100%;
    font-family: verdana, helvetica, sans-serif;
    font-style: italic;
}

strong.default {
    font-weight: bold;
    color: black;
    background-color: white;
}

strong.try {
    font-weight: bold;
    font-size: 110%;
    color: black;
}

ol.decimal {
    list-style-type: decimal;
}

span.correct, strike.correct, code.correct {
    color: red;
    font-size:120%;
}

body.errata {
    font-size: 12pt;
}

.error {
    color: red;
}


table.errata{
  vertical-align: top;
}