body {
  display: block;
  margin: 1em;
  background-color: white;
  color: black;
  font-family: sans-serif;
}

div.title {
  display: block;
  color: #333399;
  font-weight: bold;
  font-size: 200%;
}

div.section {
  display: block;
  margin-top: 2em;
  margin-bottom: 0pt;
}

span.section {
  color: #333399;
  font-weight: bold;
  font-size: 141%
}

div.subsection {
  display: block;
  margin-top: 1.4em;
  margin-bottom: 0pt;
}

span.subsection {
  color: #333399;
  font-weight: bold;
  font-size: normal;
}

p {
  margin-top: 1.0em;
  margin-bottom: 0pt;
}

div.subtitle {
  display: block;
  color: #333399;
  font-weight: bold;
  font-size: 150%;
}

div.img {
  display: block;
  margin: 0.5em;
  text-align: center;
}

img {
  border: thin solid black;
  padding: 1em;
  margin: 1em;
}

div.note {
  display: block;
  margin: 1em;
}

span.note {
  display: inline;
  font-weight: bold;
}

div.script {
  display: block;
  margin: 1em;
  border: thin solid black;
  background-color: #eeeeee;
}

div.codetitle {
  display: block;
  background-color: #dddddd;
  padding: 0.2em;
  font-weight: bold;
}

pre.code {
  display: block;
  margin: 0em;
  padding: 1em;
  font-family: monospace;
  font-size: small;
}

div.list {
  display: block;
  margin: 1em;
}

div.list-title {
  display: block;
  margin: 0pt;
  padding-left: 1.5em;
  font-weight: bold;
}

ol {
  display: block;
  margin: 0pt;
}

ul {
  display: block;
  margin: 0pt;
}

li {
  margin-top: 0.25em;
  margin-bottom: 0.25em;
}

span.path {
  display: inline;
  font-family: monospace;
  font-stretch: condensed;
}

span.in {
  display: include;
  font-family: monospace;
  font-weight: bold;
}

span.em {
  display: inline;
  font-style: italic;
}
span.ui {
  display: inline;
  font-weight: bold;
}

span.tt {
  display: inline;
  font-family: monospace;
  font-size: small;
}

table {
  margin: 1em;
  border: thin solid black;
}

th {
  background-color: #dddddd;
  padding: 0.5em;
  text-align: center;
}

td {
  background-color: #eeeeee;
  padding: 0.25em;
  text-align: left;
}