@import url(https://fonts.googleapis.com/css?family=Roboto+Slab:400,700);
*, *:before, *:after {
  box-sizing: border-box; }

body {
  background-color: #fafafa;
  background-color: #fffdf0;
  height: 100%;
  font-family: "Roboto Slab", serif;
  font-size: 18px;
  line-height: 1.6rem;
  padding: 2rem; }

.fulltext {
  margin: auto;
  max-width: 50rem; }

p {
  color: #1a1a19; }

h1 {
  line-height: normal; }

h2 {
  margin-top: 2rem;
  line-height: 1.4em; }

h1 .anchor, h2 .anchor, h3 .anchor, h4 .anchor, h5 .anchor, h6 .anchor {
  color: #1a1a19; }
  h1 .anchor:hover, h2 .anchor:hover, h3 .anchor:hover, h4 .anchor:hover, h5 .anchor:hover, h6 .anchor:hover {
    color: #df5049; }

a {
  text-decoration: none;
  color: #df5049; }
  a[rev="footnote"] {
    display: none; }

blockquote {
  background-color: #fcfcfc;
  border-left: 4px solid #ccc;
  padding-left: 1em; }

img, video {
  max-width: 100%;
  display: block;
  margin: auto; }

footer {
  border-top: 1px solid gray;
  font-size: 1rem;
  text-align: center;
  margin-top: 2rem; }

.centered-images {
  max-width: 100%;
  flex-direction: row;
  display: flex;
  align-items: center; }
  .centered-images img {
    margin: 1rem; }

.fulltext table {
  margin: auto;
  border-spacing: 1em 0; }

span.published, span.updated {
  display: block; }

.highlight .hll {
  background-color: #ffffcc; }
.highlight .c {
  color: #5F5A60;
  font-style: italic; }
.highlight .err {
  border: #B22518; }
.highlight .k {
  color: #CDA869; }
.highlight .cm {
  color: #5F5A60;
  font-style: italic; }
.highlight .c1 {
  font-style: italic; }
.highlight .cs {
  color: #5F5A60;
  font-style: italic; }
.highlight .gd {
  background: #420E09; }
.highlight .ge {
  font-style: italic; }
.highlight .gr {
  background: #B22518; }
.highlight .gh {
  color: #000080;
  font-weight: bold; }
.highlight .gi {
  background: #253B22; }
.highlight .gp {
  font-weight: bold; }
.highlight .gs {
  font-weight: bold; }
.highlight .gu {
  color: #800080;
  font-weight: bold; }
.highlight .kd {
  color: #e9df8f; }
.highlight .kp {
  color: #9B703F; }
.highlight .kr {
  color: #CDA869; }
.highlight .s {
  color: #8F9D6A; }
.highlight .na {
  color: #F9EE98; }
.highlight .nc {
  color: #9B859D;
  font-weight: bold; }
.highlight .no {
  color: #9B859D; }
.highlight .nd {
  color: #7587A6; }
.highlight .ni {
  color: #CF6A4C;
  font-weight: bold; }
.highlight .nn {
  color: #9B859D;
  font-weight: bold; }
.highlight .nt {
  color: #CDA869;
  font-weight: bold; }
.highlight .ow {
  color: #AA22FF;
  font-weight: bold; }
.highlight .w {
  color: #141414; }
.highlight .mf {
  color: #CF6A4C; }
.highlight .mh {
  color: #CF6A4C; }
.highlight .mi {
  color: #CF6A4C; }
.highlight .mo {
  color: #CF6A4C; }
.highlight .sb {
  color: #8F9D6A; }
.highlight .sc {
  color: #8F9D6A; }
.highlight .sd {
  color: #8F9D6A;
  font-style: italic; }
.highlight .s2 {
  color: #8F9D6A; }
.highlight .se {
  color: #F9EE98;
  font-weight: bold; }
.highlight .sh {
  color: #8F9D6A; }
.highlight .si {
  color: #DAEFA3;
  font-weight: bold; }
.highlight .sx {
  color: #8F9D6A; }
.highlight .sr {
  color: #E9C062; }
.highlight .s1 {
  color: #8F9D6A; }
.highlight .ss {
  color: #CF6A4C; }
.highlight .bp {
  color: #00aaaa; }
.highlight .vc {
  color: #7587A6; }
.highlight .vg {
  color: #7587A6; }
.highlight .vi {
  color: #7587A6; }
.highlight .il {
  color: #009999; }

.highlight {
  background: #181818;
  color: white;
  font-family: Consolas, Monaco, "Lucida Console", monospace;
  font-size: 0.8rem;
  padding: 0.3em 0.2em;
  border-radius: 0.4em;
  min-width: fit-content; }

pre {
  padding: 1rem 2rem;
  margin: 0;
  font-family: Consolas, Monaco, "Lucida Console", monospace;
  font-size: 1em;
  line-height: 1.6em;
  text-size-adjust: 100%;
  -ms-text-size-adjust: 100%;
  -moz-text-size-adjust: 100%;
  -webkit-text-size-adjust: 100%; }

.email {
  border-top: 2px solid black;
  margin-top: 3em;
  padding-top: 1em; }
  .email pre {
    padding: 0; }
  .email .metadata {
    text-align: right; }

/* \:not(pre) > code */
/*   font: inherit */
/*   font-style: italic */
:not(pre) > code {
  font: inherit;
  background-color: rgba(0, 0, 0, 0.07); }

table.articles {
  margin: 1rem 0;
  border-spacing: 0; }
  table.articles td.date {
    font-family: Consolas, Monaco, "Lucida Console", monospace;
    font-size: 0.8em; }
  table.articles td.link {
    padding-left: 1rem;
    white-space: nowrap;
    overflow: visible; }