@charset "UTF-8";
/* A centered layout that maxes out at 800 px wide, has a bit of padding as it shrinks on wider devices, but finally loses the padding on narrow devices. */
div.site-content { margin-left: auto; margin-right: auto; margin-top: 10px; padding-left: 10px; padding-right: 10px; overflow: hidden; }

@media (min-width: 560px) and (max-width: 799px) { div.site-content { margin-left: 5%; margin-right: 5%; } }

@media (min-width: 800px) { div.site-content { width: 768px; } }

/* For main page, style the aside to float right on large screens and take up the full width on small ones. */
aside { display: block; float: left; width: 50%; max-width: 250px; }

@media (max-width: 560px) { aside { width: 100%; max-width: 100%; clear: both; margin-left: auto; margin-right: auto; } }

/* Main text and background styles */
body { font-family: sans-serif; color: #657B83; background-color: #FDF6E3; font-size: 16px; }

code { font-size: 14px; }

p, li { font-size: 16px; line-height: 1.5em; }

a:link, a:visited, a:hover, a:active { color: #B58900; text-decoration: none; }

a:hover { text-decoration: underline; }

/* Body image styling, especially for LaTeX. */
img.body-responsive { max-width: 100%; height: auto; margin-left: auto; margin-right: auto; display: block; }

img.latex-inline { max-height: 0.85em; }

/* Blockquote styling, source: https://css-tricks.com/snippets/css/simple-and-nice-blockquote-styling/ */
blockquote { background: #f9f9f9; border-left: 10px solid #ccc; margin: 1.5em 10px; padding: 0.5em 10px; quotes: "“" "”" "‘" "’"; }

blockquote p { display: inline; }

/* Styles for tables in posts */
table { border: collapse; }

th, td { padding: 5px; }

table, th, td { border: 1px solid #657B83; }

/* Social links at bottom of page. */
.social { text-align: center; }

.social li { display: inline-block; padding-left: 20px; }

.clearfix { clear: both; }

/* Navigation menu, adapted from https://codepen.io/andreasstorm/pen/lriga */
nav { padding: 15px; }

nav * { box-sizing: border-box; }

nav ul { float: left; }

nav ul li { display: inline-block; float: left; }

nav ul li:not(:first-child) { margin-left: 20px; }

nav ul li a { display: inline-block; outline: none; color: #1F2227; font-size: 16px; }

nav ul li a:hover { color: gray; }

.title { font-size: 1.6em; }

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

@media screen and (max-width: 560px) { .nav-container { position: fixed; top: 0; left: 0; height: 100%; width: 100%; z-index: -1; background: #1F2227; opacity: 0; transition: all .2s ease; } .nav-container ul { position: absolute; top: 50%; transform: translateY(-50%); width: 100%; } .nav-container ul li { display: block; float: none; width: 100%; text-align: right; margin-bottom: 10px; } .nav-container ul li:nth-child(1) a { transition-delay: .2s; } .nav-container ul li:nth-child(2) a { transition-delay: .3s; } .nav-container ul li:nth-child(3) a { transition-delay: .4s; } .nav-container ul li:nth-child(4) a { transition-delay: .5s; } .nav-container ul li:not(:first-child) { margin-left: 0; } .nav-container ul li a { padding: 10px 25px; opacity: 0; color: white; font-size: 24px; font-weight: 600; transform: translateY(-20px); transition: all .2s ease; } .nav-open { position: fixed; right: 10px; top: 10px; display: block; width: 48px; height: 48px; cursor: pointer; z-index: 9999; border-radius: 50%; } .nav-open i { display: block; width: 20px; height: 2px; background: #1F2227; border-radius: 2px; margin-left: 14px; } .nav-open i:nth-child(1) { margin-top: 16px; } .nav-open i:nth-child(2) { margin-top: 4px; opacity: 1; } .nav-open i:nth-child(3) { margin-top: 4px; } }

#nav:checked + .nav-open { transform: rotate(45deg); }

#nav:checked + .nav-open i { background: white; transition: transform .2s ease; }

#nav:checked + .nav-open i:nth-child(1) { transform: translateY(6px) rotate(180deg); }

#nav:checked + .nav-open i:nth-child(2) { opacity: 0; }

#nav:checked + .nav-open i:nth-child(3) { transform: translateY(-6px) rotate(90deg); }

#nav:checked ~ .nav-container { z-index: 9990; opacity: 1; }

#nav:checked ~ .nav-container ul li a { opacity: 1; transform: translateY(0); }

.hidden { display: none; }

/*** main content list ***/
.main-list-item { font-weight: bold; margin: 0.8em 0; }

/* override the left margin added by font awesome for the main content list,
since it must be aligned with the content */
.fa-ul.main-list { margin-left: 0; }

/* list icons */
.main-list-item-icon { width: 36px; color: #657B83; }

/*** logo ***/
.logo-container { text-align: center; }

.logo { margin: 5px; width: 96px; height: 96px; border-radius: 10%; display: inline-block; background-size: cover; border: 2px solid #FDF6E3; box-shadow: 0 0 0 3px #657B83; }

/******/
hr { border: 0; height: 1px; background-image: -webkit-linear-gradient(left, rgba(0, 0, 0, 0), #657B83, rgba(0, 0, 0, 0)); background-image: -moz-linear-gradient(left, rgba(0, 0, 0, 0), #657B83, rgba(0, 0, 0, 0)); background-image: -ms-linear-gradient(left, rgba(0, 0, 0, 0), #657B83, rgba(0, 0, 0, 0)); background-image: -o-linear-gradient(left, rgba(0, 0, 0, 0), #657B83, rgba(0, 0, 0, 0)); }

/*** footer ***/
footer { position: fixed; bottom: 0; right: 0; height: 20px; }

.poweredby { font-family: "Arial Narrow", Arial; font-size: 0.6em; line-height: 0.6em; padding: 0 5px; margin-top: 30px; text-align: center; }

.highlight { background-color: #EEE8D5; padding: 3px 3px 3px 3px; border-radius: 7px; margin: 10px 0 10px 0; overflow-x: auto; }

.highlight .c { color: #93A1A1; }

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

/* Error */
.highlight .g { color: #586E75; }

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

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

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

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

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

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

/* Punctuation */
.highlight .cm { color: #93A1A1; }

/* Comment.Multiline */
.highlight .cp { color: #859900; }

/* Comment.Preproc */
.highlight .c1 { color: #93A1A1; }

/* Comment.Single */
.highlight .cs { color: #859900; }

/* Comment.Special */
.highlight .gd { color: #2AA198; }

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

/* Generic.Emph */
.highlight .gr { color: #DC322F; }

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

/* Generic.Heading */
.highlight .gi { color: #859900; }

/* Generic.Inserted */
.highlight .go { color: #586E75; }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

/* Name.Builtin */
.highlight .nc { color: #268BD2; }

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

/* Name.Constant */
.highlight .nd { color: #268BD2; }

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

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

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

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

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

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

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

/* Name.Property */
.highlight .nt { color: #268BD2; }

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

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

/* Operator.Word */
.highlight .w { color: #586E75; }

/* Text.Whitespace */
.highlight .mf { color: #2AA198; }

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

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

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

/* Literal.Number.Oct */
.highlight .sb { color: #93A1A1; }

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

/* Literal.String.Char */
.highlight .sd { color: #586E75; }

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

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

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

/* Literal.String.Heredoc */
.highlight .si { color: #2AA198; }

/* Literal.String.Interpol */
.highlight .sx { color: #2AA198; }

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

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

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

/* Literal.String.Symbol */
.highlight .bp { color: #268BD2; }

/* Name.Builtin.Pseudo */
.highlight .vc { color: #268BD2; }

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

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

/* Name.Variable.Instance */
.highlight .il { color: #2AA198; }

/* Literal.Number.Integer.Long */

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