.red {
  color: #e84a3f;
}

.blue {
  color: #4ba2ad;
}

.green {
  color: #4dad42;
}

:root {
  --text-color: #161617;
  --background-color: #fff;
  --brand-color: #ea4;
  --grey-color: #828282;
  --grey-color-light: #e8e8e8;
  --grey-color-dark: rgb(66.25, 66.25, 66.25);
  --invert-filter: ;
}

:root.dark {
  --text-color: #eee;
  --background-color: #141414;
  --brand-color: #f59211;
  --accent-color: #92c4f7;
  --grey-color: #b5b5b5;
  --grey-color-light: #ddd;
  --grey-color-dark: #aaa;
  --invert-filter: invert(92%) hue-rotate(175deg) saturate(2);
}

.highlight, h1, h2, h3, h4, h5, h6,
p, blockquote, pre,
ul, ol, dl, figure {
  margin-bottom: 10px !important;
}

/**
 * Clearfix
 */
.footer-col-wrapper:after, .wrapper:after {
  content: "";
  display: table;
  clear: both;
}

/**
 * Reset some basic elements
 */
body, h1, h2, h3, h4, h5, h6,
p, blockquote, pre, hr,
dl, dd, ol, ul, figure {
  margin: 0;
  padding: 0;
}

/**
 * Make headings lighter by default
 */
h1, h2, h3, h4, h5, h6 {
  opacity: 0.65;
}

/**
 * Basic styling
 */
body {
  font: 400 17px/1.66 "Bitter", serif;
  color: var(--text-color, #161617);
  background-color: var(--background-color, #fff);
  -webkit-text-size-adjust: 100%;
  -webkit-font-feature-settings: "kern" 1;
  -moz-font-feature-settings: "kern" 1;
  -o-font-feature-settings: "kern" 1;
  font-feature-settings: "kern" 1;
  font-kerning: normal;
  display: flex;
  min-height: 100vh;
  flex-direction: column;
}

/**
 * Set `margin-bottom` to maintain vertical rhythm
 */
/**
 * `main` element
 */
main {
  display: block; /* Default value of `display` of `main` element is 'inline' in IE 11. */
}

/**
 * Images
 */
img {
  max-width: 100%;
  vertical-align: middle;
}

img.half {
  max-width: 50%;
}

/**
 * Figures
 */
figure > img {
  display: block;
}

figcaption {
  font-size: 14.875px;
  font-style: italic;
}

/**
 * Lists
 */
ul, ol {
  margin-left: 20px;
}

li {
  word-wrap: break-word;
}
li > ul,
li > ol {
  margin-bottom: 0;
}

/**
 * Headings
 */
h1, h2, h3, h4, h5, h6 {
  font-weight: 400;
}

/**
 * Links
 */
a {
  color: var(--accent-color, #2a7ae2);
  text-decoration: none;
}
a:hover {
  color: var(--text-color, #161617);
  text-decoration: underline;
}
.social-media-list a:hover {
  text-decoration: none;
}
.social-media-list a:hover .username {
  text-decoration: underline;
}

/**
 * Blockquotes
 */
blockquote {
  color: var(--grey-color, #828282);
  border-left: 4px solid var(--grey-color-light, #e8e8e8);
  padding-left: 10px;
  font-size: 16.575px;
  font-style: italic;
}
blockquote > :last-child {
  margin-bottom: 0;
}

/**
 * Code formatting
 */
pre,
code {
  font-family: "Roboto Mono", "Courier New", Courier, monospace;
  font-size: 15.9375px;
  border-radius: 5px;
}

.language-plaintext {
  font-size: 17px;
}

code {
  color: var(--grey-color, #828282);
}

pre {
  box-shadow: rgba(0, 0, 0, 0.05) 1px 1px 2px 2px;
  padding: 8px 12px;
  overflow-x: auto;
}
pre > code {
  border: 0;
  padding-right: 0;
  padding-left: 0;
}

/**
 * Wrapper
 */
.wrapper {
  max-width: -webkit-calc(875px - (20px * 2));
  max-width: calc(875px - 20px * 2);
  margin-right: auto;
  margin-left: auto;
  padding-right: 20px;
  padding-left: 20px;
}
@media screen and (max-width: 800px) {
  .wrapper {
    max-width: -webkit-calc(875px - (20px));
    max-width: calc(875px - (20px));
    padding-right: 10px;
    padding-left: 10px;
  }
}

.header {
  display: flex;
  flex-direction: row;
  align-items: center;
  padding-right: 20px;
  padding-left: 20px;
  margin-right: auto;
  margin-left: auto;
  max-width: -webkit-calc(875px - (20px * 2));
  max-width: calc(875px - 20px * 2);
}
@media screen and (max-width: 800px) {
  .header {
    max-width: -webkit-calc(875px - (20px));
    max-width: calc(875px - (20px));
    padding-right: 10px;
    padding-left: 10px;
  }
}

/**
 * Icons
 */
.svg-icon {
  width: 16px;
  height: 16px;
  display: inline-block;
  fill: var(--grey-color, #828282);
  padding-right: 5px;
  vertical-align: text-top;
}

.social-media-list li + li {
  padding-top: 5px;
}

/**
 * Tables
 */
table {
  margin-bottom: 20px;
  width: 100%;
  text-align: left;
  border-collapse: collapse;
  border: 1px solid var(--grey-color-light, #e8e8e8);
}
table th, table td {
  padding: 6.6666666667px 10px;
}
table td {
  border: 1px solid var(--grey-color-light, #e8e8e8);
}

/**
 * Site header
 */
.site-header {
  border-top: 5px solid var(--brand-color, #ea4);
  padding-top: 1em;
  min-height: 37.3px;
  position: relative;
}

.site-title {
  font-size: 34px;
  line-height: 35.275px;
  letter-spacing: -1px;
  margin-bottom: 0;
  float: left;
}
.site-title, .site-title:visited {
  color: var(--grey-color-dark, rgb(66.25, 66.25, 66.25));
}

.site-nav {
  display: flex;
  float: right;
  line-height: 63.495px;
}
.site-nav .nav-trigger {
  display: none;
}
.site-nav .menu-icon {
  display: none;
}
.site-nav .page-link {
  color: var(--text-color, #161617);
  line-height: 1.66;
}
.site-nav .page-link:not(:last-child) {
  margin-right: 20px;
}
@media screen and (max-width: 600px) {
  .site-nav {
    position: absolute;
    top: 17.5px;
    right: 10px;
    background-color: var(--background-color, #fff);
    border: 1px solid var(--grey-color-light, #e8e8e8);
    border-radius: 5px;
    text-align: right;
  }
  .site-nav label[for=nav-trigger] {
    display: block;
    float: right;
    width: 36px;
    height: 36px;
    z-index: 2;
    cursor: pointer;
  }
  .site-nav .menu-icon {
    display: block;
    float: right;
    width: 36px;
    height: 26px;
    line-height: 0;
    padding-top: 10px;
    text-align: center;
  }
  .site-nav .menu-icon > svg {
    fill: var(--grey-color-dark, rgb(66.25, 66.25, 66.25));
  }
  .site-nav input ~ .trigger {
    clear: both;
    display: none;
  }
  .site-nav input:checked ~ .trigger {
    display: block;
    padding-bottom: 5px;
  }
  .site-nav .page-link {
    display: block;
    padding: 5px 10px;
    margin-left: 20px;
  }
  .site-nav .page-link:not(:last-child) {
    margin-right: 0;
  }
}

.footnotes {
  word-break: break-word;
}

/**
 * Site footer
 */
.site-footer {
  border-top: 5px solid var(--brand-color, #ea4);
  margin: 0 20px;
  padding: 20px 0;
}

.footer-heading {
  font-size: 19.125px;
  margin-bottom: 10px;
}

.contact-list,
.social-media-list {
  list-style: none;
  margin-left: 0;
}

.footer-col-wrapper {
  font-size: 15.9375px;
  color: var(--grey-color, #828282);
  margin-left: -10px;
}

.footer-col {
  float: left;
  margin-bottom: 10px;
  padding-left: 10px;
}

.footer-col-1 {
  width: -webkit-calc(35% - (20px / 2));
  width: calc(35% - 20px / 2);
}

.footer-col-2 {
  width: -webkit-calc(20% - (20px / 2));
  width: calc(20% - 20px / 2);
}

.footer-col-3 {
  width: -webkit-calc(45% - (20px / 2));
  width: calc(45% - 20px / 2);
}

@media screen and (max-width: 800px) {
  .footer-col-1,
  .footer-col-2 {
    width: -webkit-calc(50% - (20px / 2));
    width: calc(50% - 20px / 2);
  }
  .footer-col-3 {
    width: -webkit-calc(100% - (20px / 2));
    width: calc(100% - 20px / 2);
  }
}
@media screen and (max-width: 600px) {
  .footer-col {
    float: none;
    width: -webkit-calc(100% - (20px / 2));
    width: calc(100% - 20px / 2);
  }
}
/**
 * Page content
 */
.page-content {
  padding: 20px 0;
  flex: 1;
}

.post-list-heading {
  font-size: 25.5px;
}

.post-year {
  margin-top: 1em;
  font-weight: bold;
}

.post-list {
  margin-left: 0;
  list-style: none;
}
.post-list > li {
  margin-bottom: 6.6666666667px;
}

.post-meta {
  display: inline-block;
  font-size: 14.875px;
  color: var(--grey-color, #828282);
  min-width: 7.5em;
}
@media screen and (max-width: 800px) {
  .post-meta {
    display: block;
  }
}

.post-link {
  font-size: 17px;
}

/**
 * Posts
 */
.post-header {
  margin-bottom: 20px;
}

.post-title {
  font-size: 25.5px;
  letter-spacing: -1px;
  line-height: 1;
}
@media screen and (max-width: 800px) {
  .post-title {
    font-size: 34px;
  }
}

.post-content {
  margin-bottom: 20px;
}
.post-content h2 {
  font-size: 23.8px;
}
@media screen and (max-width: 800px) {
  .post-content h2 {
    font-size: 22.1px;
  }
}
.post-content h3 {
  font-size: 22.1px;
}
@media screen and (max-width: 800px) {
  .post-content h3 {
    font-size: 20.4px;
  }
}
.post-content h4 {
  font-size: 20.4px;
}
@media screen and (max-width: 800px) {
  .post-content h4 {
    font-size: 18.7px;
  }
}

.post-nav > hr {
  border: 1px solid var(--brand-color, #ea4);
  margin-bottom: 0.66em;
}
.post-nav .post-nav-links {
  margin-bottom: 1em;
  flex-direction: row;
}
.post-nav .post-nav-links > div {
  flex: 1;
}
.post-nav .post-nav-links > .post-nav-prev {
  text-align: left;
}
.post-nav .post-nav-links > .post-nav-next {
  text-align: right;
}

:root {
  --code-default: #111;
  --code-background: #faf8f5;
  --class-color: #6d584e;
  --comment-color: #777e77;
  --declaration-color: #478739;
  --keyword-color: #cf5648;
  --number-literal-color: #cf76c0;
  --string-color: #167525;
  --operator-color: #81b028;
  --builtin-color: #e81;
  --function-color: #45a9e6;
}

:root.dark {
  --code-default: #eee;
  --code-background: #262222;
  --declaration-color: #bd7;
  --keyword-color: #7a8cc2;
  --string-color: #6cbd79;
  --operator-color: #bee86f;
}

/**
 * Syntax highlighting styles
 */
.highlight {
  border-radius: 5px;
  background: var(--code-background);
  /* Keyword.Namespace */
  /* Literal.String.Delimiter */
}
.highlight code {
  color: var(--code-default);
}
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2;
}
.highlight .c {
  color: var(--comment-color);
  font-style: italic;
}
.highlight .cm {
  color: var(--comment-color);
  font-style: italic;
}
.highlight .cp {
  color: var(--comment-color);
}
.highlight .c1 {
  color: var(--comment-color);
  font-style: italic;
}
.highlight .cs {
  color: var(--comment-color);
  font-style: italic;
}
.highlight .o {
  color: var(--operator-color);
}
.highlight .gd {
  color: #000;
  background-color: #fdd;
}
.highlight .gd .x {
  color: #000;
  background-color: #faa;
}
.highlight .ge {
  font-style: italic;
}
.highlight .gr {
  color: #a00;
}
.highlight .gh {
  color: #999;
}
.highlight .gi {
  color: #000;
  background-color: #dfd;
}
.highlight .gi .x {
  color: #000;
  background-color: #afa;
}
.highlight .go {
  color: #888;
}
.highlight .gp {
  color: #555;
}
.highlight .gs {
  font-weight: bold;
}
.highlight .gu {
  color: #aaa;
}
.highlight .gt {
  color: #a00;
}
.highlight .k {
  color: var(--keyword-color);
}
.highlight .kc {
  color: var(--keyword-color);
}
.highlight .kp {
  color: var(--keyword-color);
}
.highlight .kr {
  color: var(--keyword-color);
}
.highlight .kd {
  color: var(--declaration-color);
}
.highlight .kn {
  color: #78d;
}
.highlight .kt {
  color: #458;
}
.highlight .m {
  color: var(--number-literal-color);
}
.highlight .s {
  color: var(--string-color);
}
.highlight .na {
  color: #d75;
}
.highlight .nb {
  color: var(--builtin-color);
}
.highlight .nc {
  color: var(--class-color);
}
.highlight .nx {
  color: var(--class-color);
}
.highlight .nd {
  color: #d85;
}
.highlight .no {
  color: var(--code-default);
}
.highlight .ni {
  color: #800080;
}
.highlight .ne {
  color: #e57;
}
.highlight .nf {
  color: var(--function-color);
}
.highlight .nn {
  color: var(--code-default);
}
.highlight .nt {
  color: #dbba5e;
}
.highlight .nv {
  color: var(--code-default);
}
.highlight .ow {
  font-weight: bold;
}
.highlight .w {
  color: #444;
}
.highlight .mf {
  color: var(--number-literal-color);
}
.highlight .mh {
  color: var(--number-literal-color);
}
.highlight .mi {
  color: var(--number-literal-color);
}
.highlight .mo {
  color: var(--number-literal-color);
}
.highlight .il {
  color: var(--number-literal-color);
}
.highlight .dl {
  color: var(--string-color);
}
.highlight .sb {
  color: var(--string-color);
}
.highlight .sc {
  color: var(--string-color);
}
.highlight .sd {
  color: var(--string-color);
}
.highlight .s2 {
  color: var(--string-color);
}
.highlight .se {
  color: var(--string-color);
}
.highlight .sh {
  color: var(--string-color);
}
.highlight .si {
  color: var(--string-color);
}
.highlight .sx {
  color: var(--string-color);
}
.highlight .sr {
  color: var(--string-color);
}
.highlight .s1 {
  color: var(--string-color);
}
.highlight .ss {
  color: var(--string-color);
}
.highlight .bp {
  color: #999;
}
.highlight .vc {
  color: #008080;
}
.highlight .vg {
  color: #008080;
}
.highlight .vi {
  color: #008080;
}

@font-face {
  font-family: "Bitter";
  src: url("font/Bitter.ttf");
}
@font-face {
  font-family: "Roboto Mono";
  src: url("font/RobotoMono.ttf");
}
.toggle-wrapper {
  display: inline-block;
  padding: 0 0.85em;
}

.toggle {
  height: 5px;
  width: 32px;
  background: var(--text-color);
  border-radius: 23px;
  padding: 12px;
  position: relative;
  margin: auto;
  cursor: pointer;
}

.toggle::before {
  content: "";
  display: block;
  left: 3px;
  top: 3px;
  height: 23px;
  width: 23px;
  border-radius: 23px;
  background: var(--background-color);
  position: absolute;
  z-index: 2;
  transform: translate(0);
  transition: transform 0.15s ease;
}

.toggle.enabled::before {
  transform: translateX(27px);
}

.toggle .icons {
  display: flex;
  justify-content: space-between;
  align-items: center;
  height: 100%;
}

.toggle .icons svg:first-child {
  margin-right: 4px;
}

.toggle .icons svg:last-child {
  margin-left: 4px;
}

.toggle .icons svg {
  fill: var(--background-color);
  padding: 5px 0;
  height: 20px;
  width: 20px;
}

.tabular-grid {
  display: grid;
  text-align: center;
  border-right: 1px solid grey;
  border-bottom: 1px solid grey;
  margin: 1rem;
}
.tabular-grid > div {
  border-left: 1px solid grey;
  border-top: 1px solid grey;
}

.centered {
  display: flex;
  margin-left: auto;
  margin-right: auto;
  justify-content: center;
}

.margin {
  margin: 15px;
}

embed {
  filter: var(--invert-filter);
  width: 100%;
  max-height: 66vh;
}

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

canvas {
  max-width: 100%;
  height: auto;
  user-select: none;
}

.invertible {
  filter: var(--invert-filter);
}

.not-invertible > * {
  filter: none !important;
}

.katex-display {
  font-size: 1rem;
  overflow-y: hidden;
  overflow-x: auto;
  padding-bottom: 1em;
  margin-bottom: -1em;
}

div.note {
  border: 4px solid var(--brand-color, #ea4);
  padding: 0.5em 0.75em 0.25em 0.75em;
  margin: 1em 0;
  border-radius: 0.5em;
}

summary {
  cursor: pointer;
}

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