/**
 * Basic styling
 */
body {
  background-color: #f5a9b8;
  margin: 50px 30px;
  font-family: "Open Sans", Helvetica, Arial, sans-serif;
  color: #111;
  -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;
}

a {
  color: #0685b6;
}

a:visited {
  color: #f07b92;
}

a:hover {
  color: #5bcefa;
}

a:hover:visited {
  color: #f5a9b8;
}

/**
 * Set `margin-bottom` to maintain vertical rhythm
 */
h1, h2, h3, h4, h5, h6,
p, blockquote, pre,
ul, ol, dl, figure,
.highlight {
  margin-bottom: 15px;
}

h1, h2, h3, h4, h5, h6 {
  letter-spacing: -0.5px;
  line-height: 1;
  font-weight: 600;
  color: #0685b6;
}

/**
 * `main` element
 */
main {
  display: block; /* Default value of `display` of `main` element is 'inline' in IE 11. */
}

/**
 * Images
 */
img {
  max-width: 100%;
  display: block;
  margin: auto;
}

.images {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
}
.images img {
  margin: 30px;
}

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

figcaption {
  font-size: 87%;
}

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

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

/**
 * Blockquotes
 */
blockquote {
  border-left: 3px solid;
  border-color: #5bcefa;
}
blockquote > :last-child {
  margin-bottom: 0;
}
blockquote blockquote {
  border-color: #f5a9b8;
  margin: 0;
  padding: 0 15px;
}

/**
 * Code formatting
 */
pre,
code {
  border: 1px solid #e8e8e8;
  border-radius: 3px;
  background-color: #eef;
}

code {
  padding: 1px 5px;
}

pre {
  padding: 8px 12px;
  overflow-x: auto;
}
pre > code {
  border: 0;
  padding-right: 0;
  padding-left: 0;
}

/**
 * Wrapper
 */
.wrapper {
  max-width: -webkit-calc(800px - (30px * 2));
  max-width: calc(800px - 30px * 2);
  margin-right: auto;
  margin-left: auto;
  padding-right: 30px;
  padding-left: 30px;
}

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

/**
 * Tables
 */
table {
  margin: 15px;
  margin-left: auto;
  margin-right: auto;
  text-align: left;
  border-collapse: collapse;
  border: 1px double #b5b5b5;
}
table th, table td {
  padding: 10px 15px;
  border: 1px solid #e8e8e8;
}
table th {
  background-color: #f2f2f2;
  font-weight: normal;
}

.notfound {
  margin: 30px auto;
  max-width: 600px;
  text-align: center;
}

.notfound h1 {
  margin: 30px 0;
  font-size: 4em;
  line-height: 1;
  letter-spacing: -1px;
}

hr {
  margin: 30px 60px;
  border: 0;
  border-top: solid #5bcefa 3px;
}

.katex-display {
  overflow-x: auto;
  padding: 10px;
}

summary + p {
  margin-top: 0;
}

body {
  overflow-y: scroll;
}

.page, .site-nav {
  padding: 0;
}

.page {
  background-color: white;
  box-shadow: 0 2px 6px rgba(100, 100, 100, 0.3);
  width: 1000px;
  max-width: 100%;
  margin: 0 auto;
  display: flex;
  flex-direction: column;
  min-height: calc(100vh - 100px);
}

.page > * {
  padding-left: 30px;
  padding-right: 30px;
}

.site-header {
  background-color: #5bcefa;
  min-height: 55.95px;
  padding: 30px 0;
}

.site-header > * {
  padding: 0 30px;
}

.site-title, .site-description {
  margin: 0;
}

.site-title a {
  color: #424242;
  text-decoration: none;
}

.site-title a:hover {
  color: #0685b6;
}

.site-nav {
  border-top: solid;
  border-bottom: solid;
  border-color: #F5A9B8;
  border-width: 5px;
  margin-top: 30px;
  padding: 0 30px;
  background-color: white;
}
.site-nav .nav-link {
  color: #777;
  margin: 20px;
  display: inline-block;
  text-decoration: none;
}
.site-nav .nav-link:hover {
  color: black;
}

.site-footer {
  padding: 30px;
  background: #5bcefa;
  display: flex;
  align-items: center;
  flex-wrap: wrap;
}

.footer-col {
  flex: 1;
}

.footer-col-3 {
  text-align: right;
  padding-left: 30px;
}

.site-footer a {
  color: #424242;
}

.site-footer a:hover {
  color: #0685b6;
}

/** Page content */
.page-content {
  padding: 30px;
  flex: 1;
}

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

.post-meta {
  font-size: 87%;
  color: #828282;
}

.post-link {
  display: block;
}

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

.post-content {
  margin-bottom: 30px;
}

.post-entry {
  border-left: solid 5px;
  padding: 30px;
}

.post-entry:nth-child(even) {
  border-color: #f5a9b8;
}

.post-entry:nth-child(odd) {
  border-color: #5bcefa;
}

div.horiz-table > table td:first-child {
  background-color: #f2f2f2;
}

/**
 * Syntax highlighting styles
 */
.highlight {
  background: #fff;
}
.highlighter-rouge .highlight {
  background: #eef;
}
.highlight .c {
  color: #998;
  font-style: italic;
}
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2;
}
.highlight .k {
  font-weight: bold;
}
.highlight .o {
  font-weight: bold;
}
.highlight .cm {
  color: #998;
  font-style: italic;
}
.highlight .cp {
  color: #999;
  font-weight: bold;
}
.highlight .c1 {
  color: #998;
  font-style: italic;
}
.highlight .cs {
  color: #999;
  font-weight: bold;
  font-style: italic;
}
.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 .kc {
  font-weight: bold;
}
.highlight .kd {
  font-weight: bold;
}
.highlight .kp {
  font-weight: bold;
}
.highlight .kr {
  font-weight: bold;
}
.highlight .kt {
  color: #458;
  font-weight: bold;
}
.highlight .m {
  color: #099;
}
.highlight .s {
  color: #d14;
}
.highlight .na {
  color: #008080;
}
.highlight .nb {
  color: #0086B3;
}
.highlight .nc {
  color: #458;
  font-weight: bold;
}
.highlight .no {
  color: #008080;
}
.highlight .ni {
  color: #800080;
}
.highlight .ne {
  color: #900;
  font-weight: bold;
}
.highlight .nf {
  color: #900;
  font-weight: bold;
}
.highlight .nn {
  color: #555;
}
.highlight .nt {
  color: #000080;
}
.highlight .nv {
  color: #008080;
}
.highlight .ow {
  font-weight: bold;
}
.highlight .w {
  color: #bbb;
}
.highlight .mf {
  color: #099;
}
.highlight .mh {
  color: #099;
}
.highlight .mi {
  color: #099;
}
.highlight .mo {
  color: #099;
}
.highlight .sb {
  color: #d14;
}
.highlight .sc {
  color: #d14;
}
.highlight .sd {
  color: #d14;
}
.highlight .s2 {
  color: #d14;
}
.highlight .se {
  color: #d14;
}
.highlight .sh {
  color: #d14;
}
.highlight .si {
  color: #d14;
}
.highlight .sx {
  color: #d14;
}
.highlight .sr {
  color: #009926;
}
.highlight .s1 {
  color: #d14;
}
.highlight .ss {
  color: #990073;
}
.highlight .bp {
  color: #999;
}
.highlight .vc {
  color: #008080;
}
.highlight .vg {
  color: #008080;
}
.highlight .vi {
  color: #008080;
}
.highlight .il {
  color: #099;
}

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