div#api { padding:25px; }
h3 {
  font-size:170%;
  color:darkred;
  font-weight:bold;
  margin:25px 0 5px;
}
h4 {
  font-size:125%;
  color:ThreeDShadow;
  margin:15px 0 5px;
}
p {
  margin:5px 10px 10px;
  line-height:1.5em;
}
ul.disc_list li {
  list-style-type:disc;
  margin-left:40px;
}
ul.sub_disc_list li {
  list-style-type:circle;
  margin-left:25px;
}
span.top {
  font-size:75%;
  font-style:italic;
  font-weight:normal;
  margin-left:0px;
  vertical-align:middle;
  padding-bottom:2px;
}
pre {
  margin:15px 75px 30px 15px;
  padding:15px 30px;
  border:1px solid lightgray;
}
div.content ul li { padding-left:10px; }