body { 
  background: white;
  margin-left: 2%;
  margin-right: 2%;
  margin-bottom: 1em;
}

p {
  line-height: 140%;
  margin-left: 1%;
}

li p {
  margin-left: 1%;
  text-indent: 0;
}

DL {
  line-height: 120%;
}

dl.top {
  margin-left: 3%;
}

dl.top dd {
  margin-bottom: 0.6em;
}

dl.link dd {
  margin-bottom: 2em;
}

dl.caution {
  margin-left: 10%;
  margin-right: 2%;
}

th, td {
  padding: 0.1em;
}

h1 {
  font-size: 1.5em;
  color: #ffffff;
  background-color: #8888cc;
  padding: 0.2em 0px 0.2em 0.5em;
  border-top: 2px solid #4444bb;
  border-bottom: 2px solid #4444bb;
  font-weight: bold;
}

h2 {
  font-size:1.2em;
  color: #101084;
  margin-left: 0.5%;
  padding: 2px 0px 2px 0.5em;
  text-align: left;
  border-top: 2px dotted #9944bb;
  border-bottom: 2px dotted #9944bb;
  border-left: 20px solid #9944bb;
}

h3 {
  color: #111184;
  border-top: 0px;
  border-right: 0px;
  border-bottom: 1px dotted gray;
  border-left: 2px solid gray;
  padding: 0px 0px 0px 0.5em;
  margin-left: 1%;
}

pre {
  margin-right: 10%;
  margin-left: 5%;
}

pre.source {
  font-family: monospace;
  border-width: 0.05em 0.05em 0.05em 0.05em;
  border-style: solid solid solid solid;
  padding: 0.6em 0.6em 0.6em 1.5em;
  background-color: #eeffee;
  border-color: #99cc98 
}

pre.example {
  margin-right: 25%;
  margin-left: 10%;
  border-width: 0.05em 0.05em 0.05em 0.05em;
  border-style: solid solid solid solid;
  border-color: #ff8080;
  padding: 0.6em 0.6em 0.6em 1.5em;
  background-color: #800040;
  color: #FFFFFF;
}

table {
  margin-left: 4%;
}