body {
    max-width: 40em;
    margin-left: 3%; margin-right: 3%;
    font-family: Cambria, "DejaVu Serif", "Liberation Serif", Georgia, "Palatino Linotype", Times, serif;
    background-color: #D3D3D3;    /* light gray */
}
p { margin-top: 3px; margin-bottom: 1px;
    text-align: justify; hyphens: auto; }
p.verse {
    margin-left: 3%;
}
.example { margin-left: 3%; }
blockquote {
  font-family: Ubuntu, OxygenSans, "Trebuchet MS", Calibri, sans-serif;
  font-size: smaller;
  margin-top: 10px;
  margin-bottom: 10px;
  margin-left: 50px;
  padding-left: 15px;
  border-left: 3px solid aqua;
}

h1 { text-align: center; }
h2, h3 { margin-bottom: 0px;
         font-size: 110%;
         font-weight: normal;
         background: aqua;
}
h2 { margin-top: 25px; text-align: center; margin-bottom: 0px; }
table {border: 0; margin-left: auto; margin-right: auto; }
td { padding-right: 1em; border: 0;  padding-top: 0px; padding-bottom: 0px; }
th { padding-right: 1em; border: 0;  padding-top: 0px; padding-bottom: 0px; }

ol, ul { margin: 0; }
li { text-align: justify; hyphens: auto; margin-right: 5%; }

/* Table of Contents */

.contents {
  border: 1px solid black;
  margin-top: 0;
  margin-right: 5px;
  margin-left: 0;
  margin-bottom: 15px;
  padding: 3px;
}
.contents dl {
  background-color: aqua; /* #D3D3D3;  light gray */
  font-size: small;
  margin-top: 0;
  margin-bottom: 0;
  padding-bottom: 5px;
}

.contents dt {
  clear: left;
  padding-right: 5px;
  padding-left: 5px;
  text-align: left;
}

.contents dd dt {
  display: list-item;
}
sup {
    height: 0;
    vertical-align: baseline;
    _vertical-align: bottom;
    position: relative;
    bottom: 1ex;
}
.contents a:hover {
  background-color: #D3D3D3;    /* light gray */
}
/* Preformat: */
pre {
  font-family: "DejaVu Sans Mono", "Liberation Mono", "Droid Sans Mono", "Lucida Console", monospace;
  font-size: medium;
  background-color: #F5F5F5;    /* white smoke */
  margin-left: 3%;
}