<style>
<!--
body {
  color: #000;
  background: #FFF;
  margin-left: 7%;
  font-family: verdana, helvetica, sans-serif;
  font-size: small;
}

h1 {
  margin-left: -6%;
  color: #bbb;
}

h2 {
  margin-left: -6%;
  color: #777;
}

p {
  margin-top: 3%;
}

p.box {
   color: black;
   background: white;
   border: solid;
   border-width: thin;
}

dt {
  font-weight: bold;
  margin-top: 3%;
}

li {
  margin-top: 3%;
}

pre {
  font-family: "Courier New", monospace;
}

pre.syntax {
  background: #ddd;
  font-weight: bold;
  font-size: 200%;
}
-->
</style>
