@font-face {
  font-family: 'Fjord One';
  font-style: normal;
  font-weight: 400;
  src: local('Fjord One'), local('Fjord-One'),
       url('/sha/b39ac3e9f73c08a8eb321c09d322cddd50940606006d528df4e9c96f829a3bde.woff2') format('woff2'),
       url('/sha/0d4d4346c1498177aac5bc14913d421eef0b655f43365ec246d4d2a327ee4d01.woff') format('woff');
}

@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 400;
  src: local('Source Code Pro'), local('SourceCodePro-Regular'),
       url('/sha/730f19f2196affa094be73284a620b002ef84959e393f26d6b67856948f62f15.woff2') format('woff2'),
       url('/sha/64a5a2efa3a3971329e5ade4d1a970a734c8a615584b8f5f4eb4bf706036044a.woff') format('woff');
}

@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 700;
  src: local('Source Code Pro Bold'), local('SourceCodePro-Bold'),
       url('/sha/93e430c3a2fe070e10dc44040e71fecc3c65e13f1279155ddc8540b113dba142.woff2') format('woff2'),
       url('/sha/290f38db26c90c21376aa8b68b1c502b6cf7caa43119c80a5b68d749d700324e.woff') format('woff');
}
body {
    font-family: 'Fjord One', serif;
    margin: 0 auto;
    background: #e0eefd;
}

@media all and (min-width: 900px) {
    body{
        font-size: 1.4em;
    }
}

@media all and (max-width: 899px) {
    body{
        font-size: calc(1em + 0.7vw); /* because we don't have max(.., calc) :( */
    }
}

/* Include page border */

@media all and (min-width: 900px) {
    body {
        width: 900px;
    }

    #wrapper {
        border: 1px gray solid;
    }
}

/* So small that page border makes no sense */

@media all and (max-width: 899px) {
   #wrapper {
       border-bottom: 1px gray solid;
   }
}

#wrapper {
    background: white;
    padding: 1px 0;
}

h1, h2, h3 {font-weight: normal; margin: 0.3em 0;}
h1, h2, h3, h4 {text-align: center;}

#content h1, #footer h1, h2, h3 {line-height: 1em;}

#menu {
    display: flex;
    flex-flow: row wrap;
    justify-content: space-evenly;
}

#menu li { display: inline; padding-right: 0.5rem; padding-left: 0.5rem;}

#menu {
    padding-left: 0;
    padding-right: 0;
    margin: 0;
}

#header {
  display: flex;
  flex-flow: row wrap;
  align-items: center;
  justify-content: space-around;
}

#musing-header {
    display: flex;
    flex-flow: row wrap;
    justify-content: space-around;
    align-items: baseline;
}

.musing-info {
    display: flex;
    flex-flow: row wrap;
    justify-content: space-between;
    align-items: baseline;
    text-align: left;
    padding-bottom: 0.1em;
}

.musing-date {font-size: 0.8em; margin:0; padding-left: 0.4rem;}
.pull-right {margin-left: auto;}

a         {color: #0d5eaf; text-decoration: none;}
a:visited {color: #073460;} /* Hmm, need to think about this one. */
a:hover   {color: red;     text-decoration: underline;}

svg, img {
    max-width: 100%;
    display: block;
    margin: 0 auto;
}
.non-selectable {
        -webkit-touch-callout: none;
        -webkit-user-select: none;
        -moz-user-select: none;
        -ms-user-select: none;
        user-select: none;
}
svg text::selection {
    background: none;
}

.img {
    font-size: 0.8em;
    text-align: center;
}
.img img {padding-bottom: 0.5em;}

.inline-img {
    display: inline;
}

.footnotes {
    padding-top: 2em;
    font-size: 0.8em;
}

@media all and (min-width: 420px) {
    .mobile {
        display: none;
    }
}

@media all and (min-width: 711px) {
    #content, #footer {
        width: 640px;
    }
    pre {
        border: 1px gray solid;
        border-radius: 0.5em;
        padding: 0.5rem 1rem;
    }
    .no-bullet { /* grumble grumble, padding is hard */
        list-style-type: none;
        padding-left: 0;
    }
    .tablet {
        display: none;
    }
}
@media all and (max-width: 710px) {
    p, pre, h1, h2, h3, h4, dl {
        padding-left: 1rem;
        padding-right: 1rem;
    }
    ul, li { padding-right: 1rem; }
    .no-bullet { list-style-type: none; }
    pre {
        border-bottom: 1px gray solid;
        border-top: 1px gray solid;
    }
}

#footnotes {
    padding-top: 5em;
}

#content, #footer {
    margin: 0 auto;
    text-align: justify;
}

#footer {
    border-top: 1px gray solid;
    font-size: 0.8em;
    text-align: center;
}

pre {
    background: rgba(0,0,0,.05);
    white-space: pre-wrap;
}

/* Apparently not that efficient, but we have no reloads so whatever. */
:not(pre) > code {
    background: rgba(0,0,0,.05);
    border-radius: 0.3em;
}

code {
    font-family: 'Source Code Pro', monospace;
    font-size: 0.8em;
}

pre code {
    font-size: 0.75em;
    overflow-wrap: anywhere;
}

dt {
  font-weight: bold;
}

.star {
    color: orange;
}

.katex {
    font-size: 1em !important;
}
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #60a0b0; font-style: italic } /* Comment */
.highlight .err { border: 1px solid #FF0000 } /* Error */
.highlight .k { color: #007020; font-weight: bold } /* Keyword */
.highlight .o { color: #666666 } /* Operator */
.highlight .cm { color: #60a0b0; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #007020 } /* Comment.Preproc */
.highlight .c1 { color: #60a0b0; font-style: italic } /* Comment.Single */
.highlight .cs { color: #60a0b0; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #A00000 } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #FF0000 } /* Generic.Error */
.highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #00A000 } /* Generic.Inserted */
.highlight .go { color: #808080 } /* Generic.Output */
.highlight .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.highlight .gt { color: #0040D0 } /* Generic.Traceback */
.highlight .kc { color: #007020; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #007020; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #007020; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #007020 } /* Keyword.Pseudo */
.highlight .kr { color: #007020; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #902000 } /* Keyword.Type */
.highlight .m { color: #40a070 } /* Literal.Number */
.highlight .s { color: #4070a0 } /* Literal.String */
.highlight .na { color: #4070a0 } /* Name.Attribute */
.highlight .nb { color: #007020 } /* Name.Builtin */
.highlight .nc { color: #0e84b5; font-weight: bold } /* Name.Class */
.highlight .no { color: #60add5 } /* Name.Constant */
.highlight .nd { color: #555555; font-weight: bold } /* Name.Decorator */
.highlight .ni { color: #d55537; font-weight: bold } /* Name.Entity */
.highlight .ne { color: #007020 } /* Name.Exception */
.highlight .nf { color: #06287e } /* Name.Function */
.highlight .nl { color: #002070; font-weight: bold } /* Name.Label */
.highlight .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
.highlight .nt { color: #062873; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #bb60d5 } /* Name.Variable */
.highlight .ow { color: #007020; font-weight: bold } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mf { color: #40a070 } /* Literal.Number.Float */
.highlight .mh { color: #40a070 } /* Literal.Number.Hex */
.highlight .mi { color: #40a070 } /* Literal.Number.Integer */
.highlight .mo { color: #40a070 } /* Literal.Number.Oct */
.highlight .sb { color: #4070a0 } /* Literal.String.Backtick */
.highlight .sc { color: #4070a0 } /* Literal.String.Char */
.highlight .sd { color: #4070a0; font-style: italic } /* Literal.String.Doc */
.highlight .s2 { color: #4070a0 } /* Literal.String.Double */
.highlight .se { color: #4070a0; font-weight: bold } /* Literal.String.Escape */
.highlight .sh { color: #4070a0 } /* Literal.String.Heredoc */
.highlight .si { color: #70a0d0; font-style: italic } /* Literal.String.Interpol */
.highlight .sx { color: #c65d09 } /* Literal.String.Other */
.highlight .sr { color: #235388 } /* Literal.String.Regex */
.highlight .s1 { color: #4070a0 } /* Literal.String.Single */
.highlight .ss { color: #517918 } /* Literal.String.Symbol */
.highlight .bp { color: #007020 } /* Name.Builtin.Pseudo */
.highlight .vc { color: #bb60d5 } /* Name.Variable.Class */
.highlight .vg { color: #bb60d5 } /* Name.Variable.Global */
.highlight .vi { color: #bb60d5 } /* Name.Variable.Instance */
.highlight .il { color: #40a070 } /* Literal.Number.Integer.Long */