body {
  margin: 0;
  background-color: #eee;
  font-family: sans-serif;
  font-size: 10pt;
  line-height: 1.35em;
}
div.page {
  background-color: white;
  width: 8in;
  margin: 0 auto;
  padding: .35in;
  box-shadow: 0 0 12px black;
}
table {
  padding: 0;
  border: 1px solid rgba(27, 31, 35, 0.2);
  width: 100%;
  border-radius: 3px;
  border-spacing: 0;
  margin: 1em 0;
  box-shadow: 3px 3px 2px #bbb;
}
td {
  padding: 4px 6px;
}
td:last-child {
  text-align: center;
  width: 25px;
  border-left: 1px solid rgba(27, 31, 35, 0.2);
  background-color: #f4f4f4;
  cursor: pointer;
}
td:last-child:hover {
  background-color: #e8e8e8;
}
tr:not(:first-child) td {
  border-top: 1px solid rgba(27, 31, 35, 0.2);
}
table input {
  font-family: monospace;
  font-size: 9pt;
  border: 0;
  width: 100%;
  padding: 4px 0;
  outline: 0;
}
div.feedback {
  opacity: 0;
  transition: opacity 0.7s;
  position: absolute;
  width: 70px;
  height: 22px;
  border-radius: 5px;
  background-color: darkgreen;
  color: white;
  text-align: center;
  font-weight: bold;
  padding-top: 5px;
}
img {
  vertical-align: middle;
}
pre {
  font-family: monospace;
  font-size: 9pt;
  background-color: #eee;
  padding: 8px 10px;
  border: 1px solid gray;
}
pre, .indent, p.code, blockquote {
  margin-left: 0;
  margin-right: 0;
}
div.code-caption {
  font-size: 9pt;
  font-style: italic;
}
div.code-caption + pre {
  margin-top: .2em;
}
p.code {
  font-family: monospace;
  font-size: 11pt;
}
p.code i {
  color: grey;
}
blockquote {
  color: #777;
  background-color: #eee;
  border-left: 6px #bbb solid;
  padding: 8px;
  margin: 1.5em;
}
blockquote:before {
  content: 'Note:';
  font-weight: bold;
  letter-spacing: 1px;
  color: #888;
}
h2, h3 {
  margin-top: 1.75em;
}
h3 {
  margin-bottom: .75em;
}
h2.modules {
  background-color: #444;
  color: white;
  padding: 9px;
}
li {
  margin-top: .5em;
}
ul {
  margin-bottom: 1.5em;
}
span.glossary {
  border-bottom: 2px orange dashed;
  cursor: help;
}
code, a.code {
  font-family: monospace;
  padding: 1px 4px;
  background-color: #f4f4f4;
  border-radius: 3px;
  color: #444;
}
a.code {
  padding: 0;
  background-color: transparent;
}
hr {
  border: 8px dotted #aaa;
  margin: 4em 0;
}