body { 
  font-family: serif;
  color: black;
  background: white;

  /* Fixed margins all round except for the left margin, which is set */
  /* to 10%  for reasons that will become clear shortly. */
  margin: 1em 2em 1em 10%;
}

/* Make the headings `hang' out over the text by giving */
h1, h2, h3, h4, h5, h6 { 
  font-family: sans-serif;
  font-weight: bold;

  border-bottom: thin solid black;

  margin-left: -10%;
  width: 110%;
  padding-left: 0em;
  clear: both;
}
/* We don't want subtitles to have lines underneath */
h3.subtitle { 
  border-bottom: none;
}
/* Or notes */
div.note h3{
  border-bottom: none;
  margin-bottom: 0ex;
  padding-bottom: 0ex;
}
/* The rest of the note stuff */
div.note p{
  margin-top:  0px;
}


/* --=Navigation Header=-- */
/* Rather than having a naff <hr />, I'll use a border under the */
/* "navheader" */
hr { display: none; }
div.navheader, div.navfooter {
  color: white;
  background: black;
  font-family: sans-serif;
  font-weight: bold;
  font-variant: small-caps;

  clear: both;

  margin-left: -10%;
  width: 110%;
}
/* Add a 1ex gap between the bottom of the page and the navigation */
/* footer */
div.navfooter { 
  margin-top: 1ex;
}
div.navheader a, div.navfooter a{
  color: white;
  background: black;
  font-family: sans-serif;
  font-weight: bold;
  font-variant: small-caps;
}

div.chapter div.toc{
  border-top: thin dashed black;
  border-left: thin dashed black;
  border-bottom: thin dashed black;
  
  float: right;

  margin-left: 1em;
  padding-left: 1em;
}
div.reference div.toc {
  border-top: thin dashed black;
  border-left: thin dashed black;
  border-bottom: thin dashed black;

  padding-left: 1em;
  padding-top: 1ex;
  padding-bottom: 1ex;
  margin-bottom: 1ex;
}

div.example, div.figure, div.table{ 
  border-top: thin dashed black;
  border-bottom: thin dashed black;
  
  padding-top: 1ex;
  padding-bottom: 1ex;
  padding-left: 1em;
  margin-top: 1ex;
  margin-bottom: 1ex;
}

div.toc p, div.example p, div.figure p, div.table p{
  font-family: sans-serif;
  font-weight: bold;
  font-size: larger;

  margin: 0px 0px 0px 0px;
  padding-top: 1ex; 
  padding-bottom: 1ex; 
}

div.caption p, div.calloutlist * p {
  font-family: serif;
  font-weight: normal;
  font-size: smaller;
}

div.example table, div.informalexample table {
  padding: 0px 0px 0px 0px;
  background: silver;
  color: black;
  border-bottom: thick solid black;
}

pre.screen, pre.programlisting { 
  padding: 0.5em 0.5em 0.5em 0.5em 
}

pre.screen {
  color: black;
  background: aqua;
}
pre.programlisting { 
  color: black;
  background: silver;
}

div.footnote { 
  border-top: thin solid black;
}