body {
  font-family: Verdana, Geneva, Arial, Sans-serif;
  font-size: 12px;
  color: #000000;
  background-color: #ffffff;
}

table { empty-cells: show; }

tr { vertical-align: top; }

p,blockquote,td,th {
  font-family: Verdana, Geneva, Arial, Sans-serif;
  font-size: 12px;
  color: #000000;
}

h1,h2,h3,h4 {
  clear: both;
}

ol {
  font-family: helvetica, bitstream vera sans, sans-serif;
}

img { border-width: 0px; }

pre { font-family: Courier,monospace; font-size: 10pt; }

em { font-weight: bold; }

dd { margin-left: 1em; margin-right: 1em; }

ul, dl, ol {
  margin-left: 0em;
  margin-right: 0em;
  margin-top: 3px;
  margin-bottom: 3px;
}

li { margin-left: 0em; margin-right: 2em; }

a { text-decoration: none; }

a:link {
  color: blue;
}

a:hover {
  color: blue;
  background-color: yellow;
}

a:visited {
  color: purple;
}

a:active {
  color: red;
}

.title {
  background-color: #0093c6;
  color: #ffffff;
  font-family: times new, times, serif;
  font-size: 48pt;
  text-align: center;
  padding-top: 15px;
  padding-bottom: 15px;
}

.title2 {
  background-color: white;
  color: #0093c6;
  font-size: 160%;
  text-align: center;
  padding: 12px;
  border: 2px solid;
  border-color: #0093c6;
}

.tabheading {
  text-align: center;
  background-color: #a20133;
  color: white;
  border: 1px solid black;
  padding: 3px;
}

.left-body {
  width: 45%;
  float: left;
  padding-left: 5%;
}

.right-body {
  width: 45%;
  float: right;
  padding-right: 5%;
}

.errataset {
  border: 1px solid black;
  margin-left: 5%;
  margin-right: 5%;
}

.errata {
  border: 1px solid black;
  background-color: #ffcccc;
}

.explanation {
  font-style: italic;
  background-color: #ffaaaa;
  padding: 2px;
}

.page {
  width: 15%;
  background-color: #ccffcc;
  font-weight: bold;
  float: left;
}

.paragraph {
  width: 15%;
  background-color: #88ff88;
  font-weight: bold;
  float: left;
}

.line {
  width: 15%;
  background-color: #44ff44;
  font-weight: bold;
  float: left;
}

.type {
  font-family: courier new, fixed;
  font-weight: bold;
  font-size: 110%;
  text-align: right;
  background-color: red;
  float: right;
}

.location-type {
  width: 100%;
}