body {
  margin: 10px;
}

h1.title {
  color: #000066;
}

h1.chapter {
  border-style: solid;
  border-width: 0px 0px 1px 0px;
}

h2 {
  border-style: solid;
  border-width: 0px 0px 1px 0px;
}

h3 {
  border-style: solid;
  border-width: 0px 0px 1px 0px;
  margin-top: 40px;
}

h4 {
  margin-top: 30px;
}

p {
  color: #333333;
  text-indent: 0em;
  margin-bottom: 20px;
}

ul {
}

li {
}

dl {
}

dt {
}

dd {
}

pre {
  margin: 10px 10px 20px 20px;
  padding: 12px;
  border-width: 0px;
}

caption {
  text-align: left;
  padding-bottom: 4px;
  font-size: small;
  font-weight: bold;
  text-decoration: underline;
}

table.navigator {
  font-size: small;
  margin-top: 20px;
  margin-bottom: 30px;
}

.navigator td {
  padding: 4px;
  border-width: 0px;
}

table {
  margin-top: 30px;
  margin-bottom: 50px;
  border-width: 0px;
}

th {
  text-align: left;
  padding-right: 30px;
  border-style: solid;
  border-width: 0px 0px 2px 0px;
}


td {
  padding-right: 30px;
  border-style: solid;
  border-width: 0px 0px 1px 0px;
}

code {
  margin-left: 4px;
  margin-right: 4px;
}