input,
html {
  font-family: sans-serif;
  font-size: 14pt;
}

body {
  max-width: 960px;
  min-width: 960px;
  margin: 2em auto 0 auto;
}

pre,
code {
  font-family: monospace;
  font-size: 12pt;
}

p {
  text-align: justify;
}

.indent {
  margin-left: 1em;
}

header {
  margin: 4em 0em 1em 10em;
}

h1,
h2 {
  margin: 1.5em 0 1.5em 0;
}

footer {
  margin-top: 12em;
  margin-bottom: 3em;
  font-size: 14pt;
}

.keys {
  margin-left: 1em;
}

.keys th {
  text-align: left;
  padding-right: 1em;
  font-family: monospace;
}

.joinlist {
  float: right;
  margin: 2em;
}

.joinlist,
.joinlist p {
  text-align: center;
}

.joinlist p {
  margin: .3em 0;
}

li {
  line-height: 1.5em;
}

.tabul {
  margin: 0;
}

.nav {
  margin: 1.5em 0;
}

.nav ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
  background-color: #282828;
}

.nav li {
  float: left;
}

.nav li a {
  display: block;
  color: white;
  text-align: center;
  padding: 8px 16px;
  text-decoration: none;
  text-shadow: -1px -1px 0px rgba(0,0,0,0.3);
  border-right: 1px solid #000;
  border-left: 1px solid #666;
}

.nav li:first-child a {
  border-left: none;
}

.nav li a:hover {
  background-color: #111;
}

.nav li a:hover.active {
  background-color: #e1391e;
}

.nav li a.active {
  background-color: #f1492e;
}

.nav li.right {
  float: right;
}

.nav li.right a {
  font-size: small;
}

.dim {
  color: #666;
  font-size: 0.8em;
}

@media print {
  .nav { display: none; }
}

.num { color: #000000; } /* number */
.str { color: #67580c; } /* string */
.esc { color: #80216b; } /* escape sequence */
.ipl { color: #008080; } /* string interpolation */
.ppc { color: #685809; } /* preprocessor */
.pps { color: #273122; } /* preprocessor string */
.com { color: #0e6729; } /* multiline comment */
.slc { color: #0e6729; } /* single line comment */
.lin { color: #75715e; } /* wut */
.opt { color: #000000; } /* operator */
.kwa { color: #5332d8; } /* keyword */
.kwb { color: #8c1a94; } /* type */
.kwc { color: #6b2c75; } /* builtin */
.kwd { color: #9609a7; } /* constant */