body {
  color: #1F242A;
  font-family: Georgia, "Times New Roman", Times, serif;
  font-size: 14pt;
  background-color: #37414A;
  margin-left: 0;
  margin-right: 0;
}
#frame {
  background-color: white;
  margin-top: 3em;
  margin-bottom: 0;
  border-top: 10px solid #194E84;
  border-bottom: 10px solid #194E84;
}
#sidebar {
  width: 18em;
  float: left;
  margin-left: 2em;
  margin-top: 3em;
}
#container {
  margin: 4em;
  margin-left: 20em;
}
#base {
  clear: both;
}
#top {
  text-align: center;
}
.post {
  margin-bottom: 4em;
  line-height: 1.4;
}
.footnotes ol li p {
  margin-bottom: 0px;
}
a, a:hover {
  color: #387B21;
}
a:visited, a:active {
  color: black;
}
a:hover {
  text-decoration: none;
}
#footer {
  text-align: center;
  margin: 1em;
  color: white;
}
.note, blockquote {
  background-color: #dcdfdf;
  font-style: italic;
  margin-left: 2em;
  margin-right: 2em;
  padding: 0.5em 1.5em 0.5em 1.5em;
}
.highlight, blockquote {
  -webkit-border-radius: 8px;
  -moz-border-radius: 8px;
}
.highlight {
  font-family: "Monaco", "Monospace", "Consolas";
  background-color: #37414A;
  color: #EAEAEA;
}
.highlight pre {
  padding: 1em;
}
.highlight .lineno {
  color: gray;
  margin-right: 0.5em;
}
.highlight .c, .highlight .cm, .highlight .cp, .highlight .c1, .highlight .cs {
  color: gray;
}
.highlight .k, .highlight .kc, .highlight .kd, .highlight .kn, .highlight .kp, .highlight .kr, .highlight .kt, .highlight .sb {
  color: orange;
}
.highlight .s, .highlight .m, .highlight .mf, .highlight .mh, .highlight .mi, .highlight .mo, .highlight .sc, .highlight .sd, .highlight .sh, .highlight .sx {
  color: #60BB22;
}
.highligh .se, .highlight .si {
  color: #A0FB62;
}
.printonly {
  display: none;
}
@media print {
  #sidebar, .commentslink, .footnotes ol li a, .noprint {
    display: none;
  }
  .printonly {
    display: inherit;
  }
  #container {
    margin: 0em 3em 0em;
  }
  body, #footer {
    background-color: white;
    color: black;
    font-size: 12pt;
  }
  #frame {
    margin: 0;
    border: none;
  }
  #top span {
    font-size: 10pt;
  }
}