@import "syntax.css";

@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 400;
    src: local('Fira Sans'), url("fonts/FiraSans-Regular.woff") format('woff');
}
@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 500;
    src: local('Fira Sans Medium'), url("fonts/FiraSans-Medium.woff") format('woff');
}
@font-face {
    font-family: 'Source Serif Pro';
    font-style: normal;
    font-weight: 400;
    src: local('Source Serif Pro'), url("fonts/SourceSerifPro-Regular.woff") format('woff');
}
@font-face {
    font-family: 'Source Serif Pro';
    font-style: italic;
    font-weight: 400;
    src: local('Heuristica Italic'), url("fonts/Heuristica-Italic.woff") format('woff');
}
@font-face {
    font-family: 'Source Serif Pro';
    font-style: normal;
    font-weight: 700;
    src: local('Source Serif Pro Bold'), url("fonts/SourceSerifPro-Bold.woff") format('woff');
}
@font-face {
    font-family: 'Source Code Pro';
    font-style: normal;
    font-weight: 400;
    src: local('Source Code Pro'), url("fonts/SourceCodePro-Regular.woff") format('woff');
}
@font-face {
    font-family: 'Source Code Pro';
    font-style: normal;
    font-weight: 600;
    src: local('Source Code Pro Semibold'), url("fonts/SourceCodePro-Semibold.woff") format('woff');
}

html {
    background-color: white;
    min-height:100%;
}

body {
    counter-reset: footnotes;
    margin:0px;
    font-family: "Source Serif Pro","serif";
    padding: 15px 0;

    -moz-font-feature-settings: "kern", "liga";
    -webkit-font-feature-settings: "kern", "liga";
    font-feature-settings: "kern", "liga";
}

#wrapper {
    margin: 0 auto;
    background: white;
    max-width: 800px;
    width: 100%;
    position:relative;
}

#toc {
    font-size: 0.9em;
    max-width: 300px;
    width: 100%;
    margin: 5px 10px;
    background: white;
    display: none;
    float: right;
    border: solid lightgrey;
    border-width: 1px;
}

#toc h2 {
     margin-top: 0px;
     text-align: center;
}

#toc-list {
     font-size: inherit;
     padding-bottom: 5px;
     margin: 0;
}

#toc ol {
     list-style-type: none;
}
#toc li {
     margin-left: 15px;
}

p,ul,ol,blockquote,dl {
  font-size: 17px;
    margin: 8px 30px;
}
em {
  font-size: 0.97em;
}
strong {
  font-size: 0.9em;
  font-weight: 600;
}

/* nested "p p", "ol p" etc */
p p, p ul, p ol, p blockquote, p dl, ul p, ul ul, ul ol, ul blockquote, ul dl, ol p, ol ul, ol ol, ol blockquote, ol dl, blockquote p, blockquote ul, blockquote ol, blockquote blockquote, blockquote dl, dl p, dl ul, dl ol, dl blockquote, dl dl,  #nothing-ignorethisselector {
    margin: 4px 0px;
}

ul,ol {
    padding-left: 0px;
    margin-right: 60px;
}

ul ul, ul ol, ol ul, ol ol {
   font-size: .95em;
}
ul ul li, ol ul li, ul ol li, ol ol li {
    margin: 2px 0 2px 20px;
}

ul { list-style-type: disc; }
ul ul { list-style-type: circle; }
ul ul ul { list-style-type: square; }
ul ul ul ul { list-style-type: disc; }
ul ul ul ul ul { list-style-type: circle; }
ul ul ul ul ul ul { list-style-type: square; }


ol ol { list-style-type: upper-roman; }
ol ol ol { list-style-type: lower-roman; }
ol ol ol ol { list-style-type: upper-alpha; }
ol ol ol ol ol { list-style-type: lower-alpha; }
ol ol ol ol ol ol { list-style-type: lower-greek; }

li {
    margin: 4px 0 4px 30px;
}

table {
  margin: 0 auto;
}

table td {
  padding: 3px 5px;
}
table thead {
  border-bottom: 1px solid grey;
}
th {
  padding: 0 5px;
  font-weight: normal;
}

.date {
    font-size: 1em;
}

#header {
  position: relative;
  border: 1px solid black;
  height: 166px;
  background-image: url(/img/jump.jpg);
  background-position: 80% 25%;
  font-family: "Fira Sans", "sans-serif";
  color: white;
}
#head-link {
  width: 100%;
  height: 100%;
  display: block;
}
#info-box, #breadcrumbs {
  position: absolute;
  background: #333;
  background: rgba(0, 0, 0, 0.5);
}
#info-box {
  max-width: 250px;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  padding: 3px 8px;
}
#blog-title {
  font-size: 1.2em;
  background: none;
  padding: 0;
  margin: 0;
}
#blog-title a {
  text-decoration: none;
}
#info-list {
  list-style: none;
  margin: 0.2em 1em;
}
#info-list li {
  margin: 0;
}

#breadcrumbs {
  bottom: 5px;
  right: 5px;
  padding: 7px;
  font-family: "Source Code Pro", monospace;
  font-size: 15px;
  min-width: 180px;
  max-width: 100%;
}

.headfoot {
    color: white;
    font-size: 1em;
}
#footer {
  /*border-top: 1px solid black;
    background: rgb(60,60,60);*/
  text-align: right;
  padding: 2px 10px;
  margin: 10px 0;
  color: grey;
}
#footer .left, #footer .right {
  display: inline-block;
}
#footer > .left {
  float: left;
  text-align: left;
}
#footer > .right {
  float: right;
}
#footer span {
    margin: 0 5px;
    display: inline-block;
}
#footer span span {
    margin: 0;
    display: inline;
}
.clear { clear: both; }


#content-wrapper {
    text-align:justify;
    -moz-hyphens: auto;
    -webkit-hyphens: auto;
    -ms-hyphens: auto;
    hyphens: auto;
    margin-bottom:20px;
}

a[href] {
    color: inherit;
    text-decoration: underline;
}


/* indent paragraphs that follow another paragraph */
p {
  text-indent: 1.5em;
  line-height: 1.35em;
}
.fa {
  text-indent: 0;
}

/* paragraphs just below a heading */
h1+p,h2+p,h3+p,h4+p,h5+p,h6+p, p:first-child {
    margin-top: 8px;
    text-indent: 0em;
}
span.post-date + p, .join + p, ul + p, ol + p {
    text-indent: 0em;
}

/*  The authorship info */
#info-intro {
    margin: 0.5em 1em;
    font-size: 0.9em;
    font-style: italic;
}

/* code */

code, pre {
  font-family: "Source Code Pro", "monospace";
}

pre {
  background: #f0f0f0;
}
code {
    background: #f7f7f7;
    padding: 0 0.1em;
    font-size: 0.9em;
    -moz-hyphens: none;
    -webkit-hyphens: none;
    -ms-hyphens: none;
    hyphens: none;
    border-radius: 3px;
    border: 1px solid lightgrey;
}
pre code {
    background: none;
    padding: 0;
    -moz-hyphens: none;
    -webkit-hyphens: none;
    -ms-hyphens: none;
    hyphens: none;
    border-radius: 0;
    border-width: 0;
}
h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
  background: rgba(255,255,255,0.1);
}

.highlight {
  position: relative;
}
.highlight table {
   /*background: #f5f5f5;
   border: solid #aaaaaa;
   border-width: 1px 0;*/
  font-size: 0.9em;
   padding: 0em;
   width: 100%;
   table-layout: fixed;
   overflow-y: hidden;
   display: block;
   position: relative;
   z-index: 1;
   margin: 0;
}
[data-lang]::before {
  font-family: "Fira Sans", "sans-serif";
  content: attr(data-lang);
  text-transform: capitalize;
  top: 0;
  right: 0;
  position: absolute;
  font-size: 1.5em;
  color: #f3f3f3;
  z-index: 1;
}

.highlight pre {
  background: transparent;
  margin: 0;
}
.highlight td {
  padding: 0.5em 0;
  margin: 0;
}
.highlight code {
  font-size: 1em;
}

.gutter {
   border: solid #ccc;
   border-width: 0 1px 0 0;
   color: #ccc;
   /*background: #bbbbbb;*/
}
.lineno {
  width: 25px;
  padding-right: 5px;
}
.highlight td.code {
  overflow-x: auto;
  padding-left: 0.5em;
}

/* quotes */

blockquote {
    border: solid lightgrey;
    border-width: 0 1px;
    padding: 0.1em 1.2em;
    color: rgb(30,30,30);
    font-size: 0.95em;
}

blockquote p {
    margin-left: 0;
    margin-right: 0;
}

/* images */
img {
    max-width: 100%;
}
img:not(.inline-image) {
    display: block;
    margin: 0 auto;
    clear: both;
}

.image-positioner {
  text-align: center;
}

img[data-caption]:before {
    content: attr(data-caption);
}
figure {
    clear: both;
}
figcaption {
  margin: 0 30px;
  padding: 0 30px;
  border-bottom: 1px solid #eee;
  text-align: center;
}
figcaption p {
  margin-left: 0;
  margin-right: 0;
}

/* HEADINGS */
h1,h2 {
    -moz-font-feature-settings: "kern", "liga", "smcp";
    -webkit-font-feature-settings: "kern", "liga", "smcp";
    font-feature-settings: "kern", "liga", "smcp";
}

h1,h2,h3,h4,h5,h6 {
    margin-bottom: 0px;
    font-family: "Fira Sans", "sans-serif";
}

@media not print {
    h1+h1, h1+h2, h1+h3, h1+h4, h1+h5, h1+h6, h2+h1, h2+h2, h2+h3, h2+h4, h2+h5, h2+h6, h3+h1, h3+h2, h3+h3, h3+h4, h3+h5, h3+h6, h4+h1, h4+h2, h4+h3, h4+h4, h4+h5, h4+h6, h5+h1, h5+h2, h5+h3, h5+h4, h5+h5, h5+h6, h6+h1, h6+h2, h6+h3, h6+h4, h6+h5, h6+h6,  #nothing-ignorethisselector {
        border-top: 1px solid black;
    }
}

h1+h1, h1+h2, h1+h3, h1+h4, h1+h5, h1+h6, h2+h1, h2+h2, h2+h3, h2+h4, h2+h5, h2+h6, h3+h1, h3+h2, h3+h3, h3+h4, h3+h5, h3+h6, h4+h1, h4+h2, h4+h3, h4+h4, h4+h5, h4+h6, h5+h1, h5+h2, h5+h3, h5+h4, h5+h5, h5+h6, h6+h1, h6+h2, h6+h3, h6+h4, h6+h5, h6+h6,  #nothing-ignorethisselector {
    margin-top: 0px;
}


   
   h1 {
      margin-top: 0;
      font-size: 2.2em;
      padding: 2px 10px;
   }

   
   h2 {
      margin-top: 15px;
      font-size: 1.7em;
      padding: 2px 20px;
   }

   
   h3 {
      margin-top: 12px;
      font-size: 1.4em;
      padding: 2px 30px;
   }

   
   h4 {
      margin-top: 9px;
      font-size: 1.2em;
      padding: 2px 30px;
   }

   
   h5 {
      margin-top: 6px;
      font-size: 1.1em;
      padding: 2px 30px;
   }

   
   h6 {
      margin-top: 6px;
      font-size: 1em;
      padding: 2px 30px;
   }


/* crates.io badges */

.lib-info {
  float: right;
  width: 150px;
  text-align: center;
  margin: 0 1em;
}
.lib-badge {
  verical-align: middle;
}
.centered-libs {
  text-align: center;
}
.centered-libs .lib-info {
  float: none;
}

/* Comment box */

#comments, #external-page {
  text-align: center;
  margin: 0;
}
#comments {
  margin-top: 2em;
  margin-bottom: 0.5em;
}
#external-page {
  margin-top: 0.5em;
  margin-bottom: 2em;
}

#comments-label {
  font-weight: bold;
}
.external-list {
  display: inline-block;
  list-style: none;
  margin: 0;
}
.external-link {
  display: inline-block;
  margin: 0 2px;
}

#external-page-label {
  font-weight: bold;
}

/* "Footnotes" */

/* filler for noscript people */
.footnote {
    font-size: 1em;
    display: inline;
    border: 1px solid lightgrey;
    vertical-align: sub;
}

.footnote-counter {
    vertical-align: super;
    font-size: 0.6em;
    /*color: grey;*/
}
.footnote-counter:target {
    font-weight: bold;
    font-style: italic;
    color:black;
}

/* the div that holds them */
.footnotes {
    /*display: none;*/
    max-width: 700px;
    margin: 20px auto 10px;
    padding-top: 5px;
    border-top: 1px solid rgb(240,240,240);
    font-size: 0.9em;
}
.footnotes hr {
    display: none;
}
.footnotes ol {
    margin: 0;
}
.footnotes li {
    list-style-position: outside;
    margin-left: 30px;
    margin-right: 10px;
    padding: 1px 6px;
    color: #333;
}

.footnotes li:target, .footnotes li:hover {
    color: black;
    background-color: lightyellow;
}

.footnotes a[rev="footnote"] {
    color: grey !important;
    margin: 0 0.3em;
}

/* extra info after a post */
#more {
  margin: 2em 0 0;
  padding: 15px 0;
  border: solid lightgray;
  border-width: 1px 0;

  -moz-column-count: 2;
  -webkit-column-count: 2;
  column-count: 2;
  -moz-column-width: 300px;
  -webkit-column-width: 300px;
  column-width: 300px;
  -moz-column-rule: 1px solid lightgray;
  -webkit-column-rule: 1px solid lightgray;
  column-rule: 1px solid lightgray;

}
#by-line, #latest {
  display: inline-block;
}
#by-line > p {
  margin: 0.4em;
}
#me-icon {
  max-width: 150px;
  height: 150px;
  background: url("/img/me.jpg");
  background-size: cover;
  margin: 8px auto;
  border-radius: 30px;
}
#latest {
  font-size: 0.8em;
  margin: 8px 0;
}
#latest-list {
  margin: 0;
  padding: 0;
  list-style: none;
}
#latest-heading {
  margin: 0;
  text-align: center;
}
.latest-post {
  font-size: 0.8em;
  margin: 0.4em;
  padding: 0;
}
.latest-post > h3 {
  padding: 0;
  margin: 0;
  font-weight: 500;
}

/* post series */

.post-series {
  clear: both;
  font-size: 0.9em;
  max-width: 300px;
  float: right;
  border: 1px solid lightgray;
  margin: 5px 10px;
}

.post-series-title {
  margin-top: 0px;
  text-align: center;
  font-weight: bold;
  font-size: 1.1em;
}
.post-series-list {
  margin: 0;
  font-size: inherit;
}
.post-series-list li {
  margin: 0 15px 0 20px;
}
.post-series em.current {
  font-style: normal;
}

/* etc. */
#work {
  max-width: 100%;
  width: 500px;
  margin: 2em auto;
  font-style: italic;
}


/* media queries */

@media (min-width: 820px)
and (max-width: 140000px)  {
    #screen-ind:before{
        content: "normal";
    }
}

@media (max-width: 720px) {
    .footnotes {
        margin-left: 10px;
        margin-right: 10px;
    }
}


@media (max-width: 820px) {
    body {
        padding:0px;
    }

    #screen-ind:before {
        content: "thin";
    }

    p,ul,ol,blockquote,dl, table {
      font-size: 16px;
    }
    p,ul,ol,blockquote,dl {
         margin-left: 10px;
         margin-right: 10px;
    }
    ul ul li, ol ul li, ul ol li, ol ol li {
         margin: 2px 0 2px 15px;
    }

    blockquote {
         padding-left: 0.6em;
         padding-right: 0.6em;
    }

    
        h1 {
           padding: 2px 3px;
        }
    
        h2 {
           padding: 2px 6px;
        }
    
        h3 {
           padding: 2px 10px;
        }
    
        h4 {
           padding: 2px 10px;
        }
    
        h5 {
           padding: 2px 10px;
        }
    
        h6 {
           padding: 2px 10px;
        }
    
}

@media (max-width: 500px) {
     #screen-ind:before {
        content: "very thin";
    }

    #toc {
         float: none;
         max-width: none;
         width: auto;
         border-width: 0 0 1px 0;
    }
    #toc h2 {
         border: 0px;
    }
    #toc-list {
         margin: 0 auto;
         max-width: 600px;

         border-width: 0;
    }

    p,ul,ol,blockquote,dl {
         margin-left: 3px;
         margin-right: 3px;
    }
    ul ul li, ol ul li, ul ol li, ol ol li {
         margin: 2px 0 2px 8px;
    }

    blockquote {
         padding-left: 0.4em;
         padding-right: 0.4em;
    }

    
        h1 {
           padding: 2px 2px;
        }
    
        h2 {
           padding: 2px 5px;
        }
    
        h3 {
           padding: 2px 7px;
        }
    
        h4 {
           padding: 2px 7px;
        }
    
        h5 {
           padding: 2px 7px;
        }
    
        h6 {
           padding: 2px 7px;
        }
    
}

@media screen and (max-width:640px) {
    #screen-ind:before {
        content: "mobile";
    }
}

@media (min-width: 140000px) {
    #screen-ind:before {
        content: "wide";
    }

    #wrapper {
        max-width: 1000px;
    }

    /*ul,ol {
        column-gap: 0;
        columns: 2 455.0px;
        -moz-column-gap: 0px;
        -moz-columns: 2 455.0px;
        -webkit-column-gap: 0px;
        -webkit-columns: 2 455.0px;
    }*/
    li {
    /*    margin-right:0;
        margin-left:0;*/
    }
}

@media only print {
    body {
        font-family: "Source Serif Pro", serif;
    }
    a {
      text-decoration: none !important;
    }
    #header {
        display:none !important;
    }

    h1,h2,h3,h4,h5,h6 {
        padding-left: 0 !important;
    }

    p,ul,ol,blockquote,dl {
        margin-left: 0px;
        margin-right: 0px;
    }

    #wrapper {
       max-width: none !important;
    }

    .no-print {
        display: none !important;
    }
    #screen-ind:before {
        content: "print";
    }

    .footnotes {
        max-width: none !important;
    }

    .footnotes .reversefootnote {
         display: none !important;
    }
    [data-lang]::before {
      content: "";
    }
}