* {
  box-sizing: border-box;
  margin: 0;
  padding: 0; }

html {
  overflow-y: scroll;
  height: 100%;
  font: 100%/1.5 "Merriweather", serif;
  word-wrap: break-word;
  margin: 0 auto;
  padding: 1.5em; }

@media (min-width: 768px) {
  html {
    font-size: 125%;
    max-width: 42em; } }

h1, h2, h3, h4 {
  font-family: "Merriweather", serif;
  margin: 2.5rem 0 1.5rem 0;
  line-height: 1.25;
  color: #333; }

a {
  color: #fa6432;
  text-decoration: none; }
  a:hover, a:focus, a:active {
    text-decoration: underline; }

p {
  margin: 1em 0;
  line-height: 1.5;
  font-family: 'Merriweather', serif; }
  p code {
    background-color: #eee;
    padding: 0.05em 0.2em;
    border: 1px solid #ccc; }

ol, ul {
  margin: 1em; }
  ol li ol, ol li ul, ul li ol, ul li ul {
    margin: 0 2em; }
  ol li p, ul li p {
    margin: 0; }

dl dt {
  color: #333;
  font-weight: bold;
  font-size: 1.1rem; }

dl dt::after {
  content: ":"; }

dl dd {
  margin: 0 0 1em 1em;
  font-family: "B612 Mono", monospace; }

img {
  max-width: 100%;
  display: block;
  margin: 0 auto;
  padding: 0.5em; }

blockquote {
  padding-left: 1em;
  font-style: italic;
  border-left: solid 1px #fa6432; }

table {
  font-size: 1rem;
  text-align: left;
  caption-side: bottom;
  margin-bottom: 2em; }
  table * {
    border: none; }
  table thead, table tr {
    display: table;
    table-layout: fixed;
    width: 100%; }
  table tr:nth-child(even) {
    background-color: rgba(200, 200, 200, 0.2); }
  table tbody {
    display: block;
    max-height: 70vh;
    overflow-y: auto; }
  table td, table th {
    padding: 0.25em; }

table, .highlight > pre, pre.example {
  max-height: 70vh;
  margin: 1em 0;
  padding: 1em;
  overflow: auto;
  font-size: 0.85rem;
  font-family: "B612 Mono", monospace;
  border: 1px dashed rgba(250, 100, 50, 0.5); }

.title {
  font-size: 2.5em; }

.subtitle {
  font-weight: normal;
  font-size: 0.75em;
  color: #666; }

.tags {
  margin-top: -1.5rem;
  padding: 0 0 1.5em 1em; }
  .tags li {
    display: inline;
    margin-right: 0.5em; }

figure {
  margin: 1em 0; }
  figure figcaption {
    font-family: "B612 Mono", monospace;
    font-size: 0.75em;
    text-align: center;
    color: grey; }

.footnote-definition sup {
  margin-left: -1.5em;
  float: left; }

.footnote-definition .footnote-body {
  margin: 1em 0;
  padding: 0 1em;
  border: 1px dashed rgba(250, 100, 50, 0.3);
  background-color: rgba(200, 200, 200, 0.2); }
  .footnote-definition .footnote-body p:only-child {
    margin: 0.2em 0; }

header {
  display: flex;
  justify-content: space-between; }
  header nav {
    display: flex;
    align-items: center;
    justify-content: space-between; }
  header a + a {
    margin-left: 1rem; }

footer {
  color: #888;
  font-size: .75rem;
  padding-bottom: 1.5rem;
  text-align: right; }

.posts {
  margin: 0;
  list-style: none; }
  .posts .post a {
    display: block;
    padding: 0.5em 0;
    color: #fa6432; }
    .posts .post a:hover, .posts .post a:focus, .posts .post a:active {
      text-decoration: none;
      background: rgba(200, 200, 200, 0.2); }
      .posts .post a:hover span, .posts .post a:focus span, .posts .post a:active span {
        text-decoration: underline; }
  .posts .post date {
    font-family: "B612 Mono", monospace;
    font-size: 0.8rem;
    vertical-align: middle;
    padding-right: 2rem;
    color: grey; }

h1 + p, h2 + p, h3 + p, h4 + p {
  margin-top: .75rem; }