/*
#005799 primary: "ultramarine" (0, 87, 153) 
#009568 related: "sea green" (0, 149, 104)  
#e99c22 compliment: "amber" (233, 156, 34)
#d9195c compliment related: "crimson" (217, 25, 92)
*/
body {
  margin: auto;
  padding-right: 1em;
  padding-left: 1em;
  max-width: 44em; 
  border-left: 1px solid black;
  border-right: 1px solid black;
  color: black;
  font-family: Verdana, sans-serif;
  font-size: 100%;
  line-height: 140%;
}
pre {
  border: 1px dotted gray;
  background-color: #ececec;
  color: #1111111;
  padding: 0.5em;
}
code { font-family: monospace; }
h1 a, h2 a, h3 a, h4 a, h5 a { 
  text-decoration: none;
  color: #0057999; 
}
h1, h2, h3, h4, h5 {
  font-family: verdana;
  font-weight: bold;
  border-bottom: 1px dotted black;
  color: #005799;
  clear: both;
}
h1 { font-size: 130%; }
h2 { font-size: 110%; }
h3 { font-size: 95%; }

h4 {
  font-size: 90%;
  font-style: italic;
}

h5 {
  font-size: 90%;
  font-style: italic;
}

h1.title {
  font-size: 150%;
  font-weight: bold;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  text-align: left;
  border: none;
}

dt code { font-weight: bold; }
dd p { margin-top: 0; }

#footer {
  padding-top: 1em;
  font-size: 70%;
  color: gray;
  text-align: center;
}

#toc {
  float: left;
  border: 1px solid #aaa;
	background-color: #f9f9f9;
	padding-left: 10px;
	padding-right: 10px;
	padding-top: 10px;
  margin-bottom: 20px;
  margin-right: 20px;
}
#toc:before { content: "Page Contents"; }

/* .hwout { color: #e99c22; font-style: italic; } */
.hwout { font-style: italic; }
.hwdue { color: #d9195c; font-style: italic; }
/* .exam { color: #d9195c; font-style: bold; } */
.exam { color: #e99c22; font-style: bold; }
.noclass { color: #009568; }
.reading { float: right; }
.reading:before, .readingcolor { color: #005799; }
.reading:before { content: "Reading: "; }