/* Intro: main list of sections. 
   ol.sections controls overall list (not indented) and 
     section numbers (big and bold)
   h2.section controls section headings (big and bold)
   Similarly with ol.subsections and h3.subsection.
 */
 body {
  color: black;
  background-color: white;
  }
 h1 {
  /* text-align: center; */
  font-size: 200%;
  font-weight: bold;
  }
 ol.sections {
  color: #aa0000;
  background-color: white;
  margin-left: 0px; padding-left: 0px; 
  font-family: Times, times, serif;
  font-style: normal;
  font-weight: bold;
  font-size: large;
  list-style-position: inside;
 }
 h2.section {
  font-family: Times, times, serif;
  font-style: normal;
  font-weight: bold;
  font-size: large;
  display: inline;
 }
 ol.subsections {
  color: #008800;
  background-color: white;
  margin-left: 0.5em; padding-left: 0px; 
  font-family: Times, times, serif;
  font-style: normal;
  font-weight: bold;
  font-size: medium;
  list-style-position: inside;
 }
 h3.subsection {
  font-family: Times, times, serif;
  font-style: normal;
  font-weight: bold;
  font-size: medium;
  display: inline;
 }
 ul.subsubsections /* or ol.subsubsections */ {
  color: #444488;
  background-color: white;
  margin-left: 0.5em; padding-left: 0px; 
  font-family: Times, times, serif;
  font-style: normal;
  font-weight: italic;
  font-size: medium;
  list-style-position: inside;
 }
 h4.subsubsection {
  font-family: Times, times, serif;
  font-style: normal;
  font-weight: italic;
  font-size: medium;
  display: inline;
 }
 .normal {
  color: black;
  background-color: white;
  font-family: Times, times, serif;
  font-style: normal;
  font-weight: normal;
  font-size: medium;
  padding: 0em;
  margin: 0em;
 }
 /* Not too much space around paragraphs: */
 p {margin-top: .2em; margin-bottom: .2em; text-indent: 1em}