body, html {
  color: #000;
  background: #fff;
}

a:link {
  background: inherit;
  color:  #00f;
  text-decoration: underline;
}

a:visited {
  background: inherit;
  color:  #400860;
  text-decoration: underline;
}

h1 {
  color: #CC5500;    /* some burnt orange up in here */
  background:  white;
  border-bottom: solid 0.05em #CC5500;
  padding: 0;
  margin: 0;
  font-style: normal;
  font-weight: normal;
}

p.lastupdated {
  font-size: 70%;
  font-style: italic;
  margin-bottom: 0;
}

table.people {
  margin-left: 10px;
  padding: 2px;
  border-collapse: collapse;
  border: none;
}

table.people td {
  border: none;
  border-bottom: 1px solid #888;
  padding-right: 1em;
  padding-left: 1em;
}

span.email {
 font-family: Courier, monospace;
 font-size: 85%;
}

/* Table of contents navigation */
#toc {
  background: #f5f5f5;
  border: 1px solid #ddd;
  border-radius: 6px;
  padding: 12px 16px;
  margin: 16px 0;
  font-size: 14px;
  line-height: 1.8;
}
#toc strong {
  color: #CC5500;
  margin-right: 8px;
}
#toc a {
  color: #333;
  text-decoration: none;
  padding: 2px 4px;
  border-radius: 3px;
}
#toc a:hover {
  background: #CC5500;
  color: white;
}

/* Section styling for index page */
section {
  margin: 2em 0;
  padding-top: 1em;
}
section:not(:first-of-type) {
  border-top: 1px solid #CC5500;
}
section h2 {
  color: #CC5500;
  margin-top: 0;
  margin-bottom: 0.8em;
}
section h3 {
  margin-top: 1.5em;
  margin-bottom: 0.5em;
  color: #333;
}