body {
}

ul {
  margin-top: 5pt;
  margin-bottom: 5pt;
}

li {
  padding-bottom: 2pt;
}

dl {
  margin-top: 5pt;
  margin-bottom: 5pt;
}

dt {
  font-weight: bold;
}

dd {
  padding-bottom: 2pt;
}


/* container for the whole document */

div.all {
  border-width: thin;
  border-color: red;
  border-style: none;
  padding: 0pt;
}


/* the heading ("title" of the page) */

div.heading {
  border-width: thin;
  border-color: black;
  border-style: solid;
  padding-left: 10pt;
}


/* the body (what is inside this page) */

div.body {
  padding-left: 10pt;
  padding-top: 5pt;
  padding-bottom: 5pt;
}


/* the bottom stuff: links, last updated, etc. */

div.bottom {
  border-width: thin;
  border-color: black;
  border-style: solid;
  padding: 10pt;
}


/* links are on the right of each other */

div.link {
  float: left;
  border-width: thin;
  border-color: black;
  border-style: none;
  margin-right: 5pt;
}


/* last updated is on a new line */

div.last {
  font-style: italic;
  clear: left;
  border-width: thin;
  border-color: red;
  border-style: none;
}