/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */
/* Document
   ========================================================================== */
/**
 * 1. Correct the line height in all browsers.
 * 2. Prevent adjustments of font size after orientation changes in iOS.
 */
html {
  line-height: 1.15;
  /* 1 */
  -webkit-text-size-adjust: 100%;
  /* 2 */ }

/* Sections
   ========================================================================== */
/**
 * Remove the margin in all browsers.
 */
body {
  margin: 0; }

/**
 * Render the `main` element consistently in IE.
 */
main {
  display: block; }

/**
 * Correct the font size and margin on `h1` elements within `section` and
 * `article` contexts in Chrome, Firefox, and Safari.
 */
h1 {
  font-size: 2em;
  margin: 0.67em 0; }

/* Grouping content
   ========================================================================== */
/**
 * 1. Add the correct box sizing in Firefox.
 * 2. Show the overflow in Edge and IE.
 */
hr {
  box-sizing: content-box;
  /* 1 */
  height: 0;
  /* 1 */
  overflow: visible;
  /* 2 */ }

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */
pre {
  font-family: monospace, monospace;
  /* 1 */
  font-size: 1em;
  /* 2 */ }

/* Text-level semantics
   ========================================================================== */
/**
 * Remove the gray background on active links in IE 10.
 */
a {
  background-color: transparent; }

/**
 * 1. Remove the bottom border in Chrome 57-
 * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
 */
abbr[title] {
  border-bottom: none;
  /* 1 */
  text-decoration: underline;
  /* 2 */
  text-decoration: underline dotted;
  /* 2 */ }

/**
 * Add the correct font weight in Chrome, Edge, and Safari.
 */
b,
strong {
  font-weight: bolder; }

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */
code,
kbd,
samp {
  font-family: monospace, monospace;
  /* 1 */
  font-size: 1em;
  /* 2 */ }

/**
 * Add the correct font size in all browsers.
 */
small {
  font-size: 80%; }

/**
 * Prevent `sub` and `sup` elements from affecting the line height in
 * all browsers.
 */
sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline; }

sub {
  bottom: -0.25em; }

sup {
  top: -0.5em; }

/* Embedded content
   ========================================================================== */
/**
 * Remove the border on images inside links in IE 10.
 */
img {
  border-style: none; }

/* Forms
   ========================================================================== */
/**
 * 1. Change the font styles in all browsers.
 * 2. Remove the margin in Firefox and Safari.
 */
button,
input,
optgroup,
select,
textarea {
  font-family: inherit;
  /* 1 */
  font-size: 100%;
  /* 1 */
  line-height: 1.15;
  /* 1 */
  margin: 0;
  /* 2 */ }

/**
 * Show the overflow in IE.
 * 1. Show the overflow in Edge.
 */
button,
input {
  /* 1 */
  overflow: visible; }

/**
 * Remove the inheritance of text transform in Edge, Firefox, and IE.
 * 1. Remove the inheritance of text transform in Firefox.
 */
button,
select {
  /* 1 */
  text-transform: none; }

/**
 * Correct the inability to style clickable types in iOS and Safari.
 */
button,
[type="button"],
[type="reset"],
[type="submit"] {
  -webkit-appearance: button; }

/**
 * Remove the inner border and padding in Firefox.
 */
button::-moz-focus-inner,
[type="button"]::-moz-focus-inner,
[type="reset"]::-moz-focus-inner,
[type="submit"]::-moz-focus-inner {
  border-style: none;
  padding: 0; }

/**
 * Restore the focus styles unset by the previous rule.
 */
button:-moz-focusring,
[type="button"]:-moz-focusring,
[type="reset"]:-moz-focusring,
[type="submit"]:-moz-focusring {
  outline: 1px dotted ButtonText; }

/**
 * Correct the padding in Firefox.
 */
fieldset {
  padding: 0.35em 0.75em 0.625em; }

/**
 * 1. Correct the text wrapping in Edge and IE.
 * 2. Correct the color inheritance from `fieldset` elements in IE.
 * 3. Remove the padding so developers are not caught out when they zero out
 *    `fieldset` elements in all browsers.
 */
legend {
  box-sizing: border-box;
  /* 1 */
  color: inherit;
  /* 2 */
  display: table;
  /* 1 */
  max-width: 100%;
  /* 1 */
  padding: 0;
  /* 3 */
  white-space: normal;
  /* 1 */ }

/**
 * Add the correct vertical alignment in Chrome, Firefox, and Opera.
 */
progress {
  vertical-align: baseline; }

/**
 * Remove the default vertical scrollbar in IE 10+.
 */
textarea {
  overflow: auto; }

/**
 * 1. Add the correct box sizing in IE 10.
 * 2. Remove the padding in IE 10.
 */
[type="checkbox"],
[type="radio"] {
  box-sizing: border-box;
  /* 1 */
  padding: 0;
  /* 2 */ }

/**
 * Correct the cursor style of increment and decrement buttons in Chrome.
 */
[type="number"]::-webkit-inner-spin-button,
[type="number"]::-webkit-outer-spin-button {
  height: auto; }

/**
 * 1. Correct the odd appearance in Chrome and Safari.
 * 2. Correct the outline style in Safari.
 */
[type="search"] {
  -webkit-appearance: textfield;
  /* 1 */
  outline-offset: -2px;
  /* 2 */ }

/**
 * Remove the inner padding in Chrome and Safari on macOS.
 */
[type="search"]::-webkit-search-decoration {
  -webkit-appearance: none; }

/**
 * 1. Correct the inability to style clickable types in iOS and Safari.
 * 2. Change font properties to `inherit` in Safari.
 */
::-webkit-file-upload-button {
  -webkit-appearance: button;
  /* 1 */
  font: inherit;
  /* 2 */ }

/* Interactive
   ========================================================================== */
/*
 * Add the correct display in Edge, IE 10+, and Firefox.
 */
details {
  display: block; }

/*
 * Add the correct display in all browsers.
 */
summary {
  display: list-item; }

/* Misc
   ========================================================================== */
/**
 * Add the correct display in IE 10+.
 */
template {
  display: none; }

/**
 * Add the correct display in IE 10.
 */
[hidden] {
  display: none; }
html, body, nav * {
  margin: 0;
  padding: 0; }

body {
  font: 1em/1.7 "Trebuchet MS", sans-serif;
  color: #444; }

a {
  color: #003F6F; }
  a:hover {
    color: #550033; }

br {
  display: block;
  margin-top: 5px;
  content: " "; }

h1, h2, h3, h4, h5, h6 {
  font-family: "Palatino Linotype", Palatino, sans-serif;
  font-weight: normal;
  border-bottom: 1px dotted #003F6F; }

h1 {
  font-size: 2em;
  margin-bottom: 0.5em; }

button {
  background: white;
  border: 1px solid #ccc;
  border-radius: 0;
  padding: 4px 4px 0;
  cursor: pointer; }

table {
  border-collapse: collapse;
  border-left: 5px solid #503;
  border-right: 1px solid #ccc;
  color: black; }
  table td, table th {
    border: 1px solid #ddd;
    border-right: none;
    padding: 4px 7px;
    text-align: left;
    vertical-align: top; }

img {
  max-width: 100%;
  height: auto; }

figure {
  margin: 1em 10px; }

code {
  font-family: Courier, monospace;
  padding: 0.1em;
  background: #eee; }

pre code {
  display: block;
  margin-top: 1em;
  overflow: auto;
  padding: 0.5em;
  white-space: pre; }

.correct, .almost, .incorrect {
  border-left: 3px solid; }

.correct > *, .almost > *, .incorrect > * {
  padding-left: 3px; }

.correct {
  border-left-color: #a6e22e; }

.almost {
  border-left-color: #e6db74; }

.incorrect {
  border-left-color: #f92672; }

.hide {
  position: absolute;
  left: -10000px; }

.skiplink {
  background: black;
  color: white;
  position: absolute;
  top: 0;
  left: -10000px; }
  .skiplink:focus {
    left: 0; }
.highlight {
  position: relative; }

.highlight[data-language]:before {
  content: attr(data-language);
  position: absolute;
  right: 0;
  background: #eee;
  color: black;
  padding: 2px 5px;
  font-size: 0.8em; }

.highlight[data-language]:hover:before {
  display: none; }

.highlight pre {
  padding: 10px;
  overflow-y: auto;
  max-width: 100%; }

.highlight table td {
  padding: 5px; }

.highlight table pre {
  margin: 0; }

.highlight .gh {
  color: #999999; }

.highlight .sr {
  color: #f6aa11; }

.highlight .go {
  color: #888888; }

.highlight .gp {
  color: #555555; }

.highlight .gu {
  color: #aaaaaa; }

.highlight .nb {
  color: #f6aa11; }

.highlight .cm {
  color: #75715e; }

.highlight .cp {
  color: #75715e; }

.highlight .c1 {
  color: #75715e; }

.highlight .cs {
  color: #75715e; }

.highlight .c, .highlight .cd {
  color: #75715e; }

.highlight .err {
  color: #960050; }

.highlight .gr {
  color: #960050; }

.highlight .gt {
  color: #960050; }

.highlight .gd {
  color: #49483e; }

.highlight .gi {
  color: #49483e; }

.highlight .ge {
  color: #49483e; }

.highlight .kc {
  color: #66d9ef; }

.highlight .kd {
  color: #66d9ef; }

.highlight .kr {
  color: #66d9ef; }

.highlight .no {
  color: #66d9ef; }

.highlight .kt {
  color: #66d9ef; }

.highlight .mf {
  color: #ae81ff; }

.highlight .mh {
  color: #ae81ff; }

.highlight .il {
  color: #ae81ff; }

.highlight .mi {
  color: #ae81ff; }

.highlight .mo {
  color: #ae81ff; }

.highlight .m, .highlight .mb, .highlight .mx {
  color: #ae81ff; }

.highlight .sc {
  color: #ae81ff; }

.highlight .se {
  color: #ae81ff; }

.highlight .ss {
  color: #ae81ff; }

.highlight .sd {
  color: #e6db74; }

.highlight .s2 {
  color: #e6db74; }

.highlight .sb {
  color: #e6db74; }

.highlight .sh {
  color: #e6db74; }

.highlight .si {
  color: #e6db74; }

.highlight .sx {
  color: #e6db74; }

.highlight .s1 {
  color: #e6db74; }

.highlight .s {
  color: #e6db74; }

.highlight .na {
  color: #a6e22e; }

.highlight .nc {
  color: #a6e22e; }

.highlight .nd {
  color: #a6e22e; }

.highlight .ne {
  color: #a6e22e; }

.highlight .nf {
  color: #a6e22e; }

.highlight .vc {
  color: #ffffff; }

.highlight .nn {
  color: #ffffff; }

.highlight .nl {
  color: #ffffff; }

.highlight .ni {
  color: #ffffff; }

.highlight .bp {
  color: #ffffff; }

.highlight .vg {
  color: #ffffff; }

.highlight .vi {
  color: #ffffff; }

.highlight .nv {
  color: #ffffff; }

.highlight .w {
  color: #ffffff; }

.highlight {
  color: #ffffff; }

.highlight .n, .highlight .py, .highlight .nx {
  color: #ffffff; }

.highlight .ow {
  color: #f92672; }

.highlight .nt {
  color: #f92672; }

.highlight .k, .highlight .kv {
  color: #f92672; }

.highlight .kn {
  color: #f92672; }

.highlight .kp {
  color: #f92672; }

.highlight .o {
  color: #f92672; }

.highlight, .highlighter-rouge {
  color: #f8f8f2;
  background-color: #272822; }
.header {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: center;
  overflow: hidden;
  background: #278FAF;
  color: #222;
  padding-left: 10px; }
  .header a {
    color: #000; }
  .header > * {
    font-size: 0.9em;
    margin-right: 10px;
    background: white;
    border-radius: 2px;
    padding: 2px 4px;
    text-decoration: none; }
    .header > *:hover, .header > *:active {
      background: #eee; }
  .header .logo {
    background: none;
    color: #222;
    font: bold 2em/1.55em "Palatino Linotype", Palatino, serif;
    font-size: 1.5em;
    text-decoration: none;
    white-space: nowrap;
    margin: 0;
    margin-right: auto; }
    @media (max-width: 700px) {
      .header .logo span {
        display: none; } }
  .header a.logo:hover {
    text-decoration: underline; }
  .header .contact {
    flex: 0; }
  .header .feed {
    flex: 0;
    display: flex;
    align-items: center; }
    .header .feed svg {
      vertical-align: middle;
      margin-left: 2px; }
      .header .feed svg * {
        fill: #222; }
  .header .search {
    flex: 0;
    display: flex; }
    .header .search .search-query {
      background: transparent;
      padding: 4px 2px 2px;
      width: 13vw;
      border: none;
      border-radius: 2px 0 0 2px; }
      .header .search .search-query::placeholder {
        color: #999; }
    .header .search .search-button {
      border: none;
      border-radius: 0 2px 2px 0;
      background: transparent;
      padding-top: 4px; }

.content {
  padding: 0 20px; }

.post-list {
  display: table;
  padding: 0; }
  .post-list .post-list-item {
    display: table-row;
    list-style: none; }
  .post-list .post-link {
    display: table-cell;
    font-size: 1.3em;
    padding-bottom: 0.3em; }
  .post-list .post-meta {
    display: table-cell;
    color: #bbb;
    white-space: nowrap;
    padding-bottom: 0.3em;
    padding-left: 1em; }

.post {
  display: flex;
  flex-wrap: wrap;
  margin-bottom: 5em; }
  .post .post-meta {
    color: #bbb; }
  .post .post-content {
    font-size: 1.1em;
    flex: 1 1 25em;
    min-width: 25em;
    max-width: 40em;
    padding-right: 20px;
    margin: 0 auto; }
    .post .post-content h1 > a, .post .post-content h2 > a, .post .post-content h3 > a, .post .post-content h4 > a, .post .post-content h5 > a, .post .post-content h6 > a {
      padding-left: 10px;
      text-decoration: none;
      font-weight: bold;
      color: gray; }
      .post .post-content h1 > a:hover, .post .post-content h2 > a:hover, .post .post-content h3 > a:hover, .post .post-content h4 > a:hover, .post .post-content h5 > a:hover, .post .post-content h6 > a:hover {
        color: #550033; }
    @media (max-width: 30em) {
      .post .post-content {
        min-width: 0;
        padding-right: 0;
        width: 100%; } }
  .post .post-comments {
    flex: 1 1 20em;
    max-width: 30em;
    min-width: 20em;
    background: #eee;
    padding: 0 20px 20px;
    font-size: 0.9em;
    margin-top: 37px; }
    .post .post-comments .comment-list {
      padding: 0; }
      .post .post-comments .comment-list .comment {
        list-style: none;
        margin-bottom: 1em; }
        .post .post-comments .comment-list .comment.is_admin {
          padding: 5px 10px;
          background: #ddd; }
          .post .post-comments .comment-list .comment.is_admin .comment-text {
            color: #555; }
        .post .post-comments .comment-list .comment .counter {
          color: #bbb;
          text-decoration: none; }
        .post .post-comments .comment-list .comment .comment_author {
          display: inline;
          margin: 0; }
        .post .post-comments .comment-list .comment .comment-text {
          color: #888; }
          .post .post-comments .comment-list .comment .comment-text p {
            margin: 0 0 0.5em; }
    .post .post-comments .comment_date {
      float: right; }