body {
  background-color: #f8f8f8;
  font-family: 'Source Sans Pro', Arial, sans-serif;
  font-size: 14pt;
  line-height: 150%;
  margin: 0;
  padding: 0;
}

header {
  -position: fixed;
  top: 0;
  background-color: #0974c5;
  color: #f0f0f0;
  border: none;
  padding: 0 20px;
  margin: 0;
}

footer {
  background: #333;
  color: #bbb;
  font-size: 75%;
  line-height: 150%;
  margin: auto;
  padding: .6em 1em;
  height: 90px;
  text-align: center;
  width: auto;
}

footer a {
  color: #ddd;
  text-decoration: none;
}

footer a:hover {
  border: none;
  color: #f8f8f8;
  transition: color .25s;
}

footer a:active {
  color: #f8f8f8;
}

main {
  margin: 0 10px;
}

main section:first-child {
  -margin-top: 60px;
  border-top: 0;
}

a {
  text-decoration: none;
}

a:hover {
  border-style: none none solid;
  border-width: 0 0 1px;
  border-color: #000088;
  border-color: rgba(0, 0, 255, .4);
}

hr {
  border: 0;
  border-bottom: 1px dotted rgba(0, 0, 0, .1);
  width: 75%;
  margin-left: 0;
}

h1 {
  font-size: 130%;
  font-weight: normal;
  padding: 14px 0;
  margin: 0;
}

section {
  border-top: 1px solid rgba(0, 0, 0, .1);
  margin-top: 0;
  margin-bottom: 0;
  padding: 1em .6em;
}

h4 {
  color: #095fa8;
  font-size: 125%;
  margin-top: 0;
  margin-bottom: 14px;
}

pre {
  background-color: #f2f2f2;
  font-size: 12pt;
  padding: 16px;
  overflow: scroll;
}

pre, code, .d-t {
  font-family: Hack, Consolas, Menlo, 'Droid Sans Mono', 'Source Code Pro', 'Liberation Mono', 'Oxygen Mono', 'Andale Mono', monospace;
}

code, .d-t {
  font-size: 95%;
}

p {
  margin-top: 1em;
  margin-bottom: 1em;
}

.d-it div:first-child p {
  margin-top: .2em;
}

.d-it div:last-child p {
  margin-bottom: .2em;
}

.d-t {
  border-top: 1px solid rgba(0, 0, 0, .1);
  border-bottom: 1px solid rgba(0, 0, 0, .1);
  overflow: scroll;
  margin: 16px;
  width: 80%;
}

.d-t1 div:first-child {
  border-top: 0;
  background-color: #333;
  color: #f8f8f8;
}

.d-t2 div:nth-child(2) {
  background-color: #333;
  color: #f8f8f8;
}

.d-na {
  font-size: 100%;
  margin-left: 0;
  padding-top: 0;
  padding-bottom: 8px;
}

.d-ol {
  font-weight: bold;
  font-size: 115%;
  margin-left: 1em;
  margin-top: 0px;
  margin-bottom: 14px;
}

.d-d {
  color: #095fa8;
  font-weight: bold;
  margin-left: 0;
  padding-top: 0;
  padding-bottom: 8px;
}

.d-it {
  margin-left: 1em;
  padding-bottom: 8px;
}

.d-ex {
  margin-left: 1em;
  margin-right: 1em;
}

.d-te {
  margin-left: 1em;
  padding-bottom: 8px;
}