@import url("/assets/fonts/FiraCode/fira_code.css");
@import url("/assets/fonts/cmuserif_roman/stylesheet.css");
@import url("/assets/fonts/cmuserif_bold/stylesheet.css");
@import url("/assets/fonts/cmuserif/cmun-serif.css");
/** Reset some basic elements */
body, h1, h2, h3, h4, h5, h6, p, blockquote, pre, hr, dl, dd, ol, ul, figure { margin: 0; padding: 0; }

/** Basic styling */
body { font: 300 20px/1.5 "Computer Modern Serif", "cmu_serifroman", Roboto, Helvetica, Arial, sans-serif; letter-spacing: 0px; color: #111; background-color: #fdfdfd; -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; counter-reset: h1; text-align: justify; }

strong { font-family: "cmu_serifbold", "Computer Modern Serif", "cmu_serifroman", Roboto, Helvetica, Arial, sans-serif; }

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

/** Images */
img { max-width: 100%; vertical-align: middle; display: block; margin: auto; filter: grayscale(50%); }

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

figcaption { font-size: 87.5%; }

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

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

/** Headings */
h1, h2, h3, h4, h5, h6 { font-weight: 300; font-family: "cmu_serifbold", "Computer Modern Serif", "cmu_serifroman", Roboto, Helvetica, Arial, sans-serif; color: #111; text-transform: capitalize; text-align: left; }

/** Links */
a { color: #111; text-decoration: underline; }

a:visited { color: black; }

a:hover { color: #111; text-decoration: underline; }

/** Blockquotes */
blockquote { color: #828282; border-left: 4px solid #e8e8e8; padding-left: 10px; font-style: italic; font-weight: 300; }

blockquote > :last-child { margin-bottom: 0; }

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

code { font-size: .8em; }

pre { padding: 8px 12px; overflow-x: auto; }

pre > code { border: 0; padding-right: 0; padding-left: 0; }

/** Wrapper */
.wrapper { max-width: -webkit-calc(900px - (20px * 2)); max-width: calc(900px - (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(900px - (20px)); max-width: calc(900px - (20px)); padding-right: 10px; padding-left: 10px; } }

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

/** Icons */
.icon > svg { display: inline-block; vertical-align: middle; }

.icon > svg path { fill: #828282; }

.anchor { opacity: 0.2; }

.anchor:hover { text-decoration: none; }

h1:hover .anchor { opacity: 1; }

h2:hover .anchor { opacity: 1; }

h3:hover .anchor { opacity: 1; }

/** Site header */
.site-header { padding-top: 20px; position: relative; text-align: center; font-weight: 100; }

.site-title:visited, .site-title:hover, .site-title { font-size: 250%; color: #d8d8d8; text-decoration: none; }

.site-description { color: #d8d8d8; }

.site-searchbutton { color: #e8e8e8; padding-top: 2px; padding-bottom: 2px; display: block; height: 20px; width: 300px; margin: auto; cursor: pointer; }

.site-searchbutton:hover { background-color: #ddd; }

.site-searchbar { background-color: transparent; width: 300px; font-size: 100%; text-align: center; color: #111; border: 1pt solid #828282; display: none; }

.previous:hover, .next:hover { text-decoration: none; }

sup { line-height: 0; }

/* Mermaid */
pre, code { color: inherit !important; background-color: transparent; font-family: "Fira Code", monospace; border: 0; }

.edgeLabel { background-color: white !important; }

pre.language-graph > div { display: none; }

/** Site footer */
.site-footer { border-top: 1px solid #e8e8e8; padding: 20px 0; }

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

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

.footer-col-wrapper { font-size: 15px; 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)); }

.footer-col-3 > ul { list-style: none; text-align: right; }

@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: 0; }

.page-heading { font-size: 100%; }

.post-list { margin-left: 0; list-style: none; }

.post-list > li { width: 100%; display: table; padding-top: 20px; padding-bottom: 20px; border-bottom: 1pt solid #e8e8e8; }

.post-list > li > a { display: table-cell; text-decoration: none; color: #111; vertical-align: middle; }

.post-list > li:hover { background-color: #ddd; cursor: pointer; }

.post-meta { font-size: 87.5%; text-align: right; }

.post-link { display: block; font-size: 24px; }

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

@media screen and (max-width: 800px) { .post-header { margin-top: 0px; margin-bottom: 0px; } }

.post-title { text-align: center; font-size: 225%; font-family: "Computer Modern Serif", "cmu_serifroman", Roboto, Helvetica, Arial, sans-serif; line-height: 1; }

.post { max-width: 800px; display: block; margin-left: auto; margin-right: auto; }

.post-content { margin-bottom: 20px; counter-reset: h1; }

.post-content h1::before { counter-increment: h1; content: counter(h1) " "; margin-right: 15px; }

.post-content h1 { padding-top: 32px; padding-bottom: 10px; font-size: 32px; counter-reset: h2; }

@media screen and (max-width: 800px) { .post-content h1 { font-size: 28px; } }

.post-content h2::before { counter-increment: h2; content: counter(h1) "." counter(h2) " "; margin-right: 15px; }

.post-content h2 { font-size: 22px; counter-reset: h3; }

@media screen and (max-width: 800px) { .post-content h2 { font-size: 20px; } }

.post-content h3::before { counter-increment: h3; content: counter(h1) "." counter(h2) "." counter(h3) " "; margin-right: 15px; }

.post-content h3 { font-size: 18px; }

@media screen and (max-width: 800px) { .post-content h3 { font-size: 16px; } }

.post-related { margin-top: 200px; border-top: 1pt solid #828282; }

@media screen and (max-width: 800px) { .post-related { margin-top: 60px; } }

.post-related h1 { color: #828282; }

.pagination { margin: 10px; text-align: center; }

.deactivated { color: #e8e8e8; }

.site-footer { margin-top: 50px; }

@media screen and (max-width: 800px) { .site-footer { margin-top: 0; } }

.site-footer .icon { display: inline-block; width: 18px; margin-right: 6px; }

/** Syntax highlighting styles */
.highlight { background: #fff; border-left: 1pt solid black; }

.highlight .c { color: #998; font-style: italic; }

.highlight .err { color: #a61717; }

.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 */