@font-face { font-family: 'dejavu-sans'; src: url("../../fonts/DejaVuSans.woff2"); }

@font-face { font-family: 'dejavu-sans-book'; src: url("../../fonts/DejaVuSansBook.woff2"); }

@font-face { font-family: 'dejavu-sans-mono'; src: url("../../fonts/DejaVuSansMono.woff2"); }

pre { line-height: 125%; }

td.linenos .normal { color: #3c4354; background-color: transparent; padding-left: 5px; padding-right: 5px; }

span.linenos { color: #3c4354; background-color: transparent; padding-left: 5px; padding-right: 5px; }

td.linenos .special { color: #3c4354; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }

span.linenos.special { color: #3c4354; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }

.highlight .hll { background-color: #6e7681; }

.highlight { background: #1d2331; color: #D4D2C8; }

.highlight .c { color: #7E8AA1; }

/* Comment */
.highlight .err { color: #F88F7F; }

/* Error */
.highlight .esc { color: #D4D2C8; }

/* Escape */
.highlight .g { color: #D4D2C8; }

/* Generic */
.highlight .k { color: #FFAD66; }

/* Keyword */
.highlight .l { color: #D5FF80; }

/* Literal */
.highlight .n { color: #D4D2C8; }

/* Name */
.highlight .o { color: #FFAD66; }

/* Operator */
.highlight .x { color: #D4D2C8; }

/* Other */
.highlight .p { color: #D4D2C8; }

/* Punctuation */
.highlight .ch { color: #F88F7F; font-style: italic; }

/* Comment.Hashbang */
.highlight .cm { color: #7E8AA1; }

/* Comment.Multiline */
.highlight .cp { color: #FFAD66; font-weight: bold; }

/* Comment.Preproc */
.highlight .cpf { color: #7E8AA1; }

/* Comment.PreprocFile */
.highlight .c1 { color: #7E8AA1; }

/* Comment.Single */
.highlight .cs { color: #7E8AA1; font-style: italic; }

/* Comment.Special */
.highlight .gd { color: #F88F7F; background-color: #3D1E20; }

/* Generic.Deleted */
.highlight .ge { color: #D4D2C8; font-style: italic; }

/* Generic.Emph */
.highlight .ges { color: #D4D2C8; }

/* Generic.EmphStrong */
.highlight .gr { color: #F88F7F; }

/* Generic.Error */
.highlight .gh { color: #D4D2C8; }

/* Generic.Heading */
.highlight .gi { color: #6AD4AF; background-color: #19362C; }

/* Generic.Inserted */
.highlight .go { color: #7E8AA1; }

/* Generic.Output */
.highlight .gp { color: #D4D2C8; }

/* Generic.Prompt */
.highlight .gs { color: #D4D2C8; font-weight: bold; }

/* Generic.Strong */
.highlight .gu { color: #D4D2C8; }

/* Generic.Subheading */
.highlight .gt { color: #F88F7F; }

/* Generic.Traceback */
.highlight .kc { color: #FFAD66; }

/* Keyword.Constant */
.highlight .kd { color: #FFAD66; }

/* Keyword.Declaration */
.highlight .kn { color: #FFAD66; }

/* Keyword.Namespace */
.highlight .kp { color: #FFAD66; }

/* Keyword.Pseudo */
.highlight .kr { color: #FFAD66; }

/* Keyword.Reserved */
.highlight .kt { color: #73D0FF; }

/* Keyword.Type */
.highlight .ld { color: #D5FF80; }

/* Literal.Date */
.highlight .m { color: #DFBFFF; }

/* Literal.Number */
.highlight .s { color: #D5FF80; }

/* Literal.String */
.highlight .na { color: #FFD173; }

/* Name.Attribute */
.highlight .nb { color: #FFD173; }

/* Name.Builtin */
.highlight .nc { color: #73D0FF; }

/* Name.Class */
.highlight .no { color: #FFD173; }

/* Name.Constant */
.highlight .nd { color: #7E8AA1; font-weight: bold; font-style: italic; }

/* Name.Decorator */
.highlight .ni { color: #95E6CB; }

/* Name.Entity */
.highlight .ne { color: #73D0FF; }

/* Name.Exception */
.highlight .nf { color: #FFD173; }

/* Name.Function */
.highlight .nl { color: #D4D2C8; }

/* Name.Label */
.highlight .nn { color: #D4D2C8; }

/* Name.Namespace */
.highlight .nx { color: #D4D2C8; }

/* Name.Other */
.highlight .py { color: #FFD173; }

/* Name.Property */
.highlight .nt { color: #5CCFE6; }

/* Name.Tag */
.highlight .nv { color: #D4D2C8; }

/* Name.Variable */
.highlight .ow { color: #FFAD66; }

/* Operator.Word */
.highlight .pm { color: #D4D2C8; }

/* Punctuation.Marker */
.highlight .w { color: #D4D2C8; }

/* Text.Whitespace */
.highlight .mb { color: #DFBFFF; }

/* Literal.Number.Bin */
.highlight .mf { color: #DFBFFF; }

/* Literal.Number.Float */
.highlight .mh { color: #DFBFFF; }

/* Literal.Number.Hex */
.highlight .mi { color: #DFBFFF; }

/* Literal.Number.Integer */
.highlight .mo { color: #DFBFFF; }

/* Literal.Number.Oct */
.highlight .sa { color: #F29E74; }

/* Literal.String.Affix */
.highlight .sb { color: #D5FF80; }

/* Literal.String.Backtick */
.highlight .sc { color: #D5FF80; }

/* Literal.String.Char */
.highlight .dl { color: #D5FF80; }

/* Literal.String.Delimiter */
.highlight .sd { color: #7E8AA1; }

/* Literal.String.Doc */
.highlight .s2 { color: #D5FF80; }

/* Literal.String.Double */
.highlight .se { color: #95E6CB; }

/* Literal.String.Escape */
.highlight .sh { color: #D5FF80; }

/* Literal.String.Heredoc */
.highlight .si { color: #95E6CB; }

/* Literal.String.Interpol */
.highlight .sx { color: #95E6CB; }

/* Literal.String.Other */
.highlight .sr { color: #95E6CB; }

/* Literal.String.Regex */
.highlight .s1 { color: #D5FF80; }

/* Literal.String.Single */
.highlight .ss { color: #DFBFFF; }

/* Literal.String.Symbol */
.highlight .bp { color: #5CCFE6; }

/* Name.Builtin.Pseudo */
.highlight .fm { color: #FFD173; }

/* Name.Function.Magic */
.highlight .vc { color: #D4D2C8; }

/* Name.Variable.Class */
.highlight .vg { color: #D4D2C8; }

/* Name.Variable.Global */
.highlight .vi { color: #D4D2C8; }

/* Name.Variable.Instance */
.highlight .vm { color: #D4D2C8; }

/* Name.Variable.Magic */
.highlight .il { color: #DFBFFF; }

/* Literal.Number.Integer.Long */
/* remove underline from logo but not nav */
.container .blog-header a pre { text-decoration: none; }

.container .blog-header nav a { text-decoration: underline; }

/* add underline to post header */
.container .post header h1 { font-size: 1.55em; text-decoration: underline; /* or whatever style you want */ }

* { background-color: #363d3d; color: #C0C0C0; }

code, kbd, pre, samp { font-family: "DejaVu Sans Mono", "dejavu-sans-mono", monospace; }

body { font-family: "DejaVu Sans", "dejavu-sans", sans-serif; }

body a { font-weight: 400; }

body h1, body h2, body h3, body h4, body h5, body h6 { font-family: "DejaVu Sans Mono", "dejavu-sans-mono", monospace; }

body h1 a, body h2 a, body h3 a, body h4 a, body h5 a, body h6 a { font-weight: bold; }

body iframe { max-width: 100%; margin: 2em auto; display: block; }

.disclaimer { text-align: center; font-size: 0.8em; }

.nav { list-style: none; padding-left: 0; }

.nav li { display: inline-block; margin-right: 0.56em; }

@media screen and (max-width: 640px) { .nav li { display: block; margin-right: 0; } }

.header-link { font-size: 70%; float: right; }

.landing-container { width: 65%; margin: 2em auto 0; font-family: "DejaVu Sans", "dejavu-sans", sans-serif; }

.landing-container li { font-family: "DejaVu Sans Mono", "dejavu-sans-mono", monospace; }

@media screen and (max-width: 640px) { .landing-container { width: 100%; margin: 1em 0; } }

.landing-container header { font-size: 1.2em; }

.landing-container header h1 { font-size: 4em; margin: 0.4em 0; }

.landing-container ul { margin-top: 5em; margin-bottom: 3em; text-align: center; }

.landing-container ul li { font-size: 2em; }

.container { max-width: 56em; margin: 1em auto; }

@media screen and (max-width: 640px) { .container { margin: 0.8em; } }

.container .paginator { text-align: center; margin: 3.2em 0; }

.container .blog-header { margin-bottom: 0.0em; position: relative; user-select: none; }

.container .blog-header a { text-decoration: none; }

.container .blog-header pre { font-family: "DejaVu Sans Mono", "dejavu-sans-mono", monospace; font-weight: bold; }

@media screen and (max-width: 640px) { .container .blog-header pre { font-size: 9.5px; } }

.container .blog-header p { margin-top: 0.2em; }

.container .blog-header nav { position: absolute; top: 0; right: 0; margin: 0 2px; font-family: "DejaVu Sans Mono", "dejavu-sans-mono", monospace; }

@media screen and (max-width: 640px) { .container .blog-header nav { position: relative; text-align: center; } }

@media screen and (max-width: 640px) { .container .blog-header { text-align: start; } }

.container .nav { font-size: 1.2em; }

.container .blog-footer { margin-top: 2em; text-align: center; user-select: none; }

.container .post-list .post-overview { margin: 1em; position: relative; padding-left: 7em; }

.container .post-list .post-overview time { position: absolute; left: 0em; top: 0.2em; }

@media screen and (max-width: 640px) { .container .post-list .post-overview { margin: 0; top: 0em; padding-left: 0; } .container .post-list .post-overview time { position: relative; } }

.container .post { font-size: 1em; }

@media screen and (max-width: 640px) { .container .post { font-size: 1em; } }

.container .post h1 { font-size: 1.5em; }

.container .post h2 { font-size: 1.44em; }

.container .post h3 { font-size: 1.3em; }

.container .post h4 { font-size: 1.2em; }

.container .post h5, .container .post h6 { font-size: 1.18em; }

.container .post a { font-weight: 400; }

.container .post img { max-width: 100%; height: auto; display: block; margin: 1.5em auto; border: 1px solid; }

.container .post code { padding: 2px 2px; font-size: 90%; color: #C0C0C0; background-color: #241f31; border-radius: 4px; }

.container .post pre { padding: 2px 2px; font-size: 90%; color: #C0C0C0; background-color: #241f31; border-radius: 4px; height: auto; display: block; margin: 0 auto; }

.container .post pre * { background-color: #241f31; }

.container .post .highlight { border: 1px solid; font-size: 0.9em; overflow-x: auto; }

.container .post blockquote { font-style: italic; font-weight: 300; }

.container .post header { margin: 1.0em 0; }

.container .post header h1 { font-size: 1.75em; }

.container .post article { line-height: 1.63333em; }

.container .post footer { margin: 2em 0 3em; text-align: right; }