html {
  /* If absent, weird rendering of pygments on iPhone. */
  /* https://stackoverflow.com/a/3428477 */
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
  font-size: 20px;
}
body {
  margin: 0;
  color: #222;
  font-family: Charter, Georgia, serif;
}
article {
    flex-grow: 1;
}
h1, h2 {
    font-family: Charter, Georgia, serif;
    line-height: 3rem;
}
img {
    max-width: 100%;
}
h1 {
    font-size: 1.25rem;
}
h2 {
    font-size: 1rem;
}
hr {
	border: none;
    border-top: 3px double #777;
	width: 50%;
	margin: auto;
    position: relative;
}
header h1 {
    font-size: 1.5rem;
}
p, li {
    line-height: 1.5rem;
}
a {
    color: inherit;
}
nav a {
    color: #555;
}
article a:visited {
    color: #799b95;
}
dfn {
	font-weight: bold;
	font-style: normal;
}
p code, li code {
    background: #eee;
    padding: 0.2rem;
}
pre, code {
    font-size: 0.8rem;
}
nav.top {
    font-family: Helvetica, sans-serif;
}

.no-under {
    text-decoration: none;
}
.no-under:hover {
    color: #000;
}

.fl-r { float: right; }

.pa0 { padding: 0; }
.pa1 { padding: 0.25rem; }
.pa2 { padding: 0.5rem; }
.pa3 { padding: 1rem; }
.pa4 { padding: 2rem; }

.pt0 { padding-top: 0; }
.pt1 { padding-top: 0.25rem; }
.pt2 { padding-top: 0.5rem; }
.pt3 { padding-top: 1rem; }
.pt4 { padding-top: 2rem; }
.pt5 { padding-top: 4rem; }

.pr0 { padding-right: 0; }
.pr1 { padding-right: 0.25rem; }
.pr2 { padding-right: 0.5rem; }
.pr3 { padding-right: 1rem; }
.pr4 { padding-right: 2rem; }

.pl0 { padding-left: 0; }
.pl1 { padding-left: 0.25rem; }
.pl2 { padding-left: 0.5rem; }
.pl3 { padding-left: 1rem; }
.pl4 { padding-left: 2rem; }

.mt0 { margin-top: 0; }
.mt1 { margin-top: 0.25rem; }
.mt2 { margin-top: 0.5rem; }
.mt3 { margin-top: 1rem; }
.mt4 { margin-top: 2rem; }
.mt5 { margin-top: 4rem; }

.f4 { font-size: 1.25rem; }
.f5 { font-size: 1rem; }
.f6 { font-size: 0.875rem; }
.f7 { font-size: 0.75rem; }

.tc { text-align: center; }
.center { margin: auto; }

.bg-black { background-color:#000 }
.bg-near-black { background-color:#111 }
.bg-dark-gray { background-color:#333 }
.bg-mid-gray { background-color:#555 }
.bg-gray { background-color:#777 }
.bg-silver { background-color:#999 }
.bg-light-silver { background-color:#aaa }
.bg-moon-gray { background-color:#ccc }
.bg-light-gray { background-color:#eee }
.bg-near-white { background-color:#f4f4f4 }
.bg-white { background-color:#fff }

.white { color: #fff; }
.silver { color: #999; }
.light-silver { color:#aaa }
.mid-gray { color: #555; }

.bold { font-weight: bold; }
.italic { font-style: italic; }
.normal { font-weight: normal; }
.db { display: block; }
.df { display: flex; }

.vh100 { min-height: 100vh; }
.f-column { flex-direction: column; }

.prev-next a {
    flex: 1 1 auto;
    text-align: center;
    padding: 1rem;
}

.mt0 { margin-top: 0; }
.mb0 { margin-bottom: 0; }

.admonition-title { display: none; }
.admonition { padding: 1rem; }
.admonition p:nth-child(2) { margin-top: 0; }
.admonition p:last-child { margin-bottom: 0; }
.note { background: #fff4ca; }
.warning { background: #f9dcdc; }
.thanks, .endnotes {
    padding: 0;
    font-size: 0.85em;
    color: #999;
}

.flex {
    display: flex;
}
.f-between {
    justify-content: space-between;
}

.wrapper {
  max-width: 700px;
  margin: auto;
}

.post-list {
    list-style: none;
    padding: 0;
}
.post-list a {
    text-decoration: none;
}
.post-list a:hover .post-title {
    text-decoration: underline;
}

@media screen and (max-width: 30em) {
	html {
		font-size: 16px;
	}
	h1 {
		font-size: 1.25rem;
	}
}

.codehilitetable {
    border-collapse: collapse;
    box-shadow: 0 0 0.5em #eee8d5;
    width: 100%;
}
.codehilitetable td, .codehilitetable th {
    padding: 0;
    margin: 0;
}
.codehilitetable pre {
    line-height: 125%;
    padding: 0;
    margin: 0;
}
td.linenos, td.code {
    padding: 0.5rem;
}
td.linenos {
    background-color: #eee8d5;
    width: 1.25rem;
    text-align: right;
}
td.code {
    background-color: #fdf6e3;
}

td.linenos .normal { color: #93a1a1; background-color: #eee8d5; }

/* Lines below this one were autogenerated. */

span.linenos { color: #93a1a1; background-color: #eee8d5; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }

.codehilite .hll { background-color: #eee8d5 }
.codehilite { background: #fdf6e3; color: #657b83 }
.codehilite .c { color: #93a1a1; font-style: italic } /* Comment */
.codehilite .err { color: #657b83; background-color: #dc322f } /* Error */
.codehilite .esc { color: #657b83 } /* Escape */
.codehilite .g { color: #657b83 } /* Generic */
.codehilite .k { color: #859900 } /* Keyword */
.codehilite .l { color: #657b83 } /* Literal */
.codehilite .n { color: #657b83 } /* Name */
.codehilite .o { color: #93a1a1 } /* Operator */
.codehilite .x { color: #657b83 } /* Other */
.codehilite .p { color: #657b83 } /* Punctuation */
.codehilite .ch { color: #93a1a1; font-style: italic } /* Comment.Hashbang */
.codehilite .cm { color: #93a1a1; font-style: italic } /* Comment.Multiline */
.codehilite .cp { color: #d33682 } /* Comment.Preproc */
.codehilite .cpf { color: #93a1a1 } /* Comment.PreprocFile */
.codehilite .c1 { color: #93a1a1; font-style: italic } /* Comment.Single */
.codehilite .cs { color: #93a1a1; font-style: italic } /* Comment.Special */
.codehilite .gd { color: #dc322f } /* Generic.Deleted */
.codehilite .ge { color: #657b83; font-style: italic } /* Generic.Emph */
.codehilite .gr { color: #dc322f } /* Generic.Error */
.codehilite .gh { color: #657b83; font-weight: bold } /* Generic.Heading */
.codehilite .gi { color: #859900 } /* Generic.Inserted */
.codehilite .go { color: #657b83 } /* Generic.Output */
.codehilite .gp { color: #268bd2; font-weight: bold } /* Generic.Prompt */
.codehilite .gs { color: #657b83; font-weight: bold } /* Generic.Strong */
.codehilite .gu { color: #657b83; text-decoration: underline } /* Generic.Subheading */
.codehilite .gt { color: #268bd2 } /* Generic.Traceback */
.codehilite .kc { color: #2aa198 } /* Keyword.Constant */
.codehilite .kd { color: #2aa198 } /* Keyword.Declaration */
.codehilite .kn { color: #cb4b16 } /* Keyword.Namespace */
.codehilite .kp { color: #859900 } /* Keyword.Pseudo */
.codehilite .kr { color: #859900 } /* Keyword.Reserved */
.codehilite .kt { color: #b58900 } /* Keyword.Type */
.codehilite .ld { color: #657b83 } /* Literal.Date */
.codehilite .m { color: #2aa198 } /* Literal.Number */
.codehilite .s { color: #2aa198 } /* Literal.String */
.codehilite .na { color: #657b83 } /* Name.Attribute */
.codehilite .nb { color: #268bd2 } /* Name.Builtin */
.codehilite .nc { color: #268bd2 } /* Name.Class */
.codehilite .no { color: #268bd2 } /* Name.Constant */
.codehilite .nd { color: #268bd2 } /* Name.Decorator */
.codehilite .ni { color: #268bd2 } /* Name.Entity */
.codehilite .ne { color: #268bd2 } /* Name.Exception */
.codehilite .nf { color: #268bd2 } /* Name.Function */
.codehilite .nl { color: #268bd2 } /* Name.Label */
.codehilite .nn { color: #268bd2 } /* Name.Namespace */
.codehilite .nx { color: #657b83 } /* Name.Other */
.codehilite .py { color: #657b83 } /* Name.Property */
.codehilite .nt { color: #268bd2 } /* Name.Tag */
.codehilite .nv { color: #268bd2 } /* Name.Variable */
.codehilite .ow { color: #859900 } /* Operator.Word */
.codehilite .w { color: #657b83 } /* Text.Whitespace */
.codehilite .mb { color: #2aa198 } /* Literal.Number.Bin */
.codehilite .mf { color: #2aa198 } /* Literal.Number.Float */
.codehilite .mh { color: #2aa198 } /* Literal.Number.Hex */
.codehilite .mi { color: #2aa198 } /* Literal.Number.Integer */
.codehilite .mo { color: #2aa198 } /* Literal.Number.Oct */
.codehilite .sa { color: #2aa198 } /* Literal.String.Affix */
.codehilite .sb { color: #2aa198 } /* Literal.String.Backtick */
.codehilite .sc { color: #2aa198 } /* Literal.String.Char */
.codehilite .dl { color: #2aa198 } /* Literal.String.Delimiter */
.codehilite .sd { color: #93a1a1 } /* Literal.String.Doc */
.codehilite .s2 { color: #2aa198 } /* Literal.String.Double */
.codehilite .se { color: #2aa198 } /* Literal.String.Escape */
.codehilite .sh { color: #2aa198 } /* Literal.String.Heredoc */
.codehilite .si { color: #2aa198 } /* Literal.String.Interpol */
.codehilite .sx { color: #2aa198 } /* Literal.String.Other */
.codehilite .sr { color: #cb4b16 } /* Literal.String.Regex */
.codehilite .s1 { color: #2aa198 } /* Literal.String.Single */
.codehilite .ss { color: #2aa198 } /* Literal.String.Symbol */
.codehilite .bp { color: #268bd2 } /* Name.Builtin.Pseudo */
.codehilite .fm { color: #268bd2 } /* Name.Function.Magic */
.codehilite .vc { color: #268bd2 } /* Name.Variable.Class */
.codehilite .vg { color: #268bd2 } /* Name.Variable.Global */
.codehilite .vi { color: #268bd2 } /* Name.Variable.Instance */
.codehilite .vm { color: #268bd2 } /* Name.Variable.Magic */
.codehilite .il { color: #2aa198 } /* Literal.Number.Integer.Long */