/* Generated by pandoc. */
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre {
  margin: 0;
  padding: 0;
  border: 0;
  vertical-align: baseline;
  border: none; }

td.lineNumbers {
  border-right: .1rem solid #AAAAAA;
  text-align: right;
  color: #AAAAAA;
  padding-right: .5rem;
  padding-left: .5rem; }

td.sourceCode {
  padding-left: .5rem; }

.sourceCode span.kw {
  color: #007020;
  font-weight: bold; }

.sourceCode span.dt {
  color: #902000; }

.sourceCode span.dv {
  color: #40a070; }

.sourceCode span.bn {
  color: #40a070; }

.sourceCode span.fl {
  color: #40a070; }

.sourceCode span.ch {
  color: #4070a0; }

.sourceCode span.st {
  color: #4070a0; }

.sourceCode span.co {
  color: #60a0b0;
  font-style: italic; }

.sourceCode span.ot {
  color: #007020; }

.sourceCode span.al {
  color: red;
  font-weight: bold; }

.sourceCode span.fu {
  color: #06287e; }

.sourceCode span.er {
  color: red;
  font-weight: bold; }

body {
  font-size: 1em;
  width: 95%;
  max-width: 1300px;
  font-family: Courier New, Courier, monospace;
  margin: auto;
  line-height: 1.5; }

header {
  border-bottom: .2em solid black;
  margin-bottom: em;
  padding: 1.2em 0 1.2em 0; }

nav {
  text-align: right; }
  nav a {
    color: black;
    font-family: Courier New, Courier, monospace;
    font-size: 112.5%;
    font-weight: normal;
    margin-left: 1.5em;
    text-decoration: none;
    text-transform: uppercase; }

footer {
  border-top: solid .2em black;
  color: #555;
  font-family: Courier New, Courier, monospace;
  font-size: 75%;
  margin-top: 3em;
  padding: 1.2em 0 1.2em 0;
  text-align: right; }

h1 {
  font-family: Courier New, Courier, monospace;
  font-size: 150%; }

h2 {
  font-family: Courier New, Courier, monospace;
  font-size: 125%; }

article .header {
  font-family: Courier New, Courier, monospace;
  color: #555;
  font-size: 87.5%;
  font-style: italic; }

.logo a {
  font-family: Courier New, Courier, monospace;
  color: black;
  float: left;
  font-size: 150%;
  font-weight: normal;
  text-decoration: none; }