body {
  margin: 0px;
}
body header {
  margin-top: 20px;
  margin-left: 24px;
  margin-right: 24px;
  margin-bottom: 20px;
  height: 24px;
}
body header a.logo {
  color: #3080f0;
  font: 16pt Helvetica;
  text-decoration: none;
}
body header nav {
  float: right;
}
body header nav a {
  margin-left: 5px;
  color: gray;
  font: 16pt Helvetica;
  text-decoration: none;
}
body header nav a.current {
  color: black;
}
body footer {
  width: 100%;
  bottom: -10px;
  position: fixed;
}
body hr.separator {
  background-color: #e8e8e8;
  border: none;
  height: 2px;
}
body ul.posts, body ul.notes {
  list-style-type: none;
  padding: 0;
}
body p {
  font: 12pt Helvetica;
  margin-left: 24px;
  margin-right: 24px;
  margin-top: 20px;
  margin-bottom: 20px;
}
body p.date {
  color: #303030;
  font-style: italic;
  float: right;
}
body p.author {
  color: #303030;
  font-style: italic;
  float: right;
}
body a {
  overflow-wrap: break-word;
}
body h1, body h2, body h3, body h4, body h5, body h6 {
  margin-left: 48px;
}
body h1 a, body h2 a, body h3 a, body h4 a, body h5 a, body h6 a {
  text-decoration: none;
}
body h1 {
  font: 18pt Helvetica;
  text-align: center;
  margin-left: 0px;
}
body h2, body h3, body h4 {
  font: 16pt Helvetica;
}
body h5, body h6 {
  font: 14pt Helvetica;
}
body code {
  font: 11pt Monospace;
  background-color: #f0f0f0;
  overflow-wrap: break-word;
}
body .highlight {
  padding-left: 24px;
  font: 11pt Monospace;
  margin: 0px;
  display: block;
  overflow: auto;
  background-color: #f0f0f0;
}
body .highlight .c {
  color: #998;
  font-style: italic;
}
body .highlight .err {
  color: #a61717;
  background-color: #e3d2d2;
}
body .highlight .k {
  font-weight: bold;
}
body .highlight .o {
  font-weight: bold;
}
body .highlight .cm {
  color: #998;
  font-style: italic;
}
body .highlight .cp {
  color: #999;
  font-weight: bold;
}
body .highlight .c1 {
  color: #998;
  font-style: italic;
}
body .highlight .cs {
  color: #999;
  font-weight: bold;
  font-style: italic;
}
body .highlight .gd {
  color: #000;
  background-color: #fdd;
}
body .highlight .gd .x {
  color: #000;
  background-color: #faa;
}
body .highlight .ge {
  font-style: italic;
}
body .highlight .gr {
  color: #a00;
}
body .highlight .gh {
  color: #999;
}
body .highlight .gi {
  color: #000;
  background-color: #dfd;
}
body .highlight .gi .x {
  color: #000;
  background-color: #afa;
}
body .highlight .go {
  color: #888;
}
body .highlight .gp {
  color: #555;
}
body .highlight .gs {
  font-weight: bold;
}
body .highlight .gu {
  color: #aaa;
}
body .highlight .gt {
  color: #a00;
}
body .highlight .kc {
  font-weight: bold;
}
body .highlight .kd {
  font-weight: bold;
}
body .highlight .kp {
  font-weight: bold;
}
body .highlight .kr {
  font-weight: bold;
}
body .highlight .kt {
  color: #458;
  font-weight: bold;
}
body .highlight .m {
  color: #099;
}
body .highlight .s {
  color: #d14;
}
body .highlight .na {
  color: #008080;
}
body .highlight .nb {
  color: #0086B3;
}
body .highlight .nc {
  color: #458;
  font-weight: bold;
}
body .highlight .no {
  color: #008080;
}
body .highlight .ni {
  color: #800080;
}
body .highlight .ne {
  color: #900;
  font-weight: bold;
}
body .highlight .nf {
  color: #900;
  font-weight: bold;
}
body .highlight .nn {
  color: #555;
}
body .highlight .nt {
  color: #000080;
}
body .highlight .nv {
  color: #008080;
}
body .highlight .ow {
  font-weight: bold;
}
body .highlight .w {
  color: #bbb;
}
body .highlight .mf {
  color: #099;
}
body .highlight .mh {
  color: #099;
}
body .highlight .mi {
  color: #099;
}
body .highlight .mo {
  color: #099;
}
body .highlight .sb {
  color: #d14;
}
body .highlight .sc {
  color: #d14;
}
body .highlight .sd {
  color: #d14;
}
body .highlight .s2 {
  color: #d14;
}
body .highlight .se {
  color: #d14;
}
body .highlight .sh {
  color: #d14;
}
body .highlight .si {
  color: #d14;
}
body .highlight .sx {
  color: #d14;
}
body .highlight .sr {
  color: #009926;
}
body .highlight .s1 {
  color: #d14;
}
body .highlight .ss {
  color: #990073;
}
body .highlight .bp {
  color: #999;
}
body .highlight .vc {
  color: #008080;
}
body .highlight .vg {
  color: #008080;
}
body .highlight .vi {
  color: #008080;
}
body .highlight .il {
  color: #099;
}

/*# sourceMappingURL=styles.css.map */