body {
  margin: 0;
  padding: 0;
  font-family: Georgia, sans-serif;
  line-height: 1.5em;
  font-size: 14pt;
}

h1, h2, h3 {
  padding: 0;
  margin: 0;
}

header {
  margin: 0;
  padding-top: 12pt;
  padding-bottom: 26pt;
  border: 1px solid black;
  color: #fff;
  background: #000;
  font-size: 22pt;
  text-align: center;
  box-shadow: 0px 2px 12px #888;
  margin-bottom: 12pt;
}
header a {
  text-decoration: none;
  color: #fff;
}

section {
  padding-left: 64pt;
  padding-top: 16pt;
}
section h1 {
  font-size: 22pt;
}

article {
  text-align: justify;
  width: 60em;
}
article p a {
  text-decoration: none;
  border-bottom: 1px dashed #444;
  color: #000;
}
article p a:hover {
  color: #337;
}

section#toc {
  background: #ccc;
  margin-top: 24pt;
  padding-top: 32pt;
  padding-bottom: 32pt;
}
section#toc h1 {
  font-size: 32pt;
  margin-bottom: 30pt;
  text-decoration: underline;
}
section#toc h2 {
  margin-top: 12pt;
}
section#toc h2 a {
  text-decoration: none;
  color: #000;
}
section#toc h2 a:hover {
  color: #337;
}
section#toc h3 {
  color: #555;
  font-weight: normal;
}

section#factor {
  margin-top: 24pt;
  margin-bottom: 128pt;
}
section#factor h2 {
  font-size: 32pt;
  margin-bottom: 12pt;
}
section#factor h3 {
  font-size: 20pt;
  font-weight: normal;
  color: #999;
  margin-bottom: 16pt;
}

#next, #prev {
  margin-top: 32pt;
}
#next {
  float: right;
}
#prev {
  float: left;
}
#next a, #prev a {
  font-size: 22pt;
  text-decoration: none;
}

code {
  border: 1px solid #999;
  background: #eee;
  padding: 1pt 3pt;
}

table {
  padding-left: 32pt;
}
td, th {
  padding-right: 12pt;
  padding-bottom: 4pt;
}

footer {
  color: #444;
  font-size: 12pt;
  background: #000;
  padding-top: 48pt;
  padding-bottom: 16pt;
  text-align: center;
}