code {
  font-family: "courier new", "monospaced";
}

em {
  font-style: italic;
  color: rgb(42,63,114);
}

ol {
  margin-top: -0.25em;
}

ol li {
  margin-top: 2em;
  margin-left: -2em;
}

pre {
  font-size: .85em;
  font-family: Verdana, Geneva, sans-serif;
}

pre.r {
  font-size: 1em;
  font-weight: bold;
}

h1.title {
  font-size: 2em;
  color: rgb(120,0,0);
}

h2 {
  color: rgb(60, 100, 140);
  margin-top: 3.5em;
  margin-bottom: 1em;
  padding-top: 0.5em;
  font-style: italic;
  font-size: 1.5em;
  border-top: 2px solid rgb(60, 100, 140);
  border-bottom: 2px solid rgb(60, 100, 140);
  background-color: rgb(245, 245, 252);
  height: 2.5em;
}

h3 {
  margin-top: 3em;
  margin-bottom: 0em;
  border-bottom: 2px solid black;
  font-style: italic;
  font-size: 1.5em;
}

h4 {
  color: rgb(70, 130, 180);
  margin-top: 2em;
  font-size: 1.25em;
}

h5 {
  margin-top: 2em;
  font-size: 1em;
}


h6 {
  margin-top: 1.5em;
  font-size: .9em;
}

p {
	margin-top: 1.5em;
}

hr { 
  border-width: 2px;
}