:root {
  --color-code-background: #f9f6eb;
}

html {
  font-size: 112.5%;
}

body {
  background: #FFF9F0;
  font-family: "Sitka Text", Georgia, Cambria, Calibri;
  line-height: 130%;
  width: 100%;
  position: relative;
}

div#page {
  width: auto;
  margin-left: auto;
  margin-right: auto;
  max-width: 44rem;
  padding: 0 1.0rem 0 1.0rem;
}

ul.navigation {
  margin: 0;
}

ul.navigation li {
  list-style: none;
  display: inline;
  margin-right: 1em;
}

nav.top {
  margin-top: 1.2em;
  margin-bottom: 2.0em;
  font-variant: small-caps;
}

article {
  padding-bottom: 0.64rem;
}

h1, h2, h3, h4 {
  font-family: "Sitka Banner", Georgia, Cambria, Calibri;
  font-variant-caps: small-caps;
}

h2, h3, h4 {
  margin: 2.2rem 0 0.2rem 0;
}

h1 {
  font-weight: bold;
  padding: 0;
  font-size: 1.70rem;
  line-height: 140%;
  color: #11103E;
  margin-top: 0.3em;
  margin-bottom: 0.3em;
}

h2 {
  font-size: 1.40rem;
}

h3 {
  font-size: 1.20em;
}

a:hover {
  text-decoration: underline;
}

a {
  color: #742a1e;
  text-decoration: none;
}

a.anchor {
  color: #742a1e26;
}

pre {
  padding: 1.2em 0.5em 1.2em 0.5em;
  background-color: var(--color-code-background);
  border-top: 1px solid #333;
  border-bottom: 1px solid #333;
  overflow-y: scroll;
  width: 95%;
  margin-left: auto;
  margin-right: auto;
}

table.highlighttable {
  width: 100%;
}

table {
  font-size: 0.9em;
  border: none;
  border-collapse: collapse;
  margin-bottom: 1.5em;
  margin-left: auto;
  margin-right: auto;
  width: 95%;
}


th {
  background-color: #742a1e;
  color: #fff;
  padding: 0.2rem 0.4rem;
  font-variant: small-caps;
}

td {
  border-bottom: 1px solid #742a1e;
  padding: 0.2rem 0.4rem;
}

tr:nth-child(even) {
  background-color: hsl(25, 75%, 95%);
}

code {
  background-color: var(--color-code-background);
}

code, div.highlight, div.code {
  font-size: 0.9em;
  font-family: "DejaVu Sans Mono", "Liberation Mono", Menlo, Courier, monospace;
}

div.tags {
  font-size: smaller;
}

figure {
  font-size: smaller;
}

figcaption > h4 {
  margin: 0.1em;
  font-weight: normal;
}

figure > img {
  width: 100%;
  height: 100%;
  object-fit: cover;
}

/*
 * pygments
 */

td.linenos { width: 30px; padding-right: 10px; }
span.lineno { background-color: #f0f0f0; padding: 0 5px 0 5px; }
pre { line-height: 125%; }
body .hll { background-color: #ffffcc }
body .c { color: #408080; font-style: italic } /* Comment */
body .err { border: 1px solid #FF0000 } /* Error */
body .k { color: #008000; font-weight: bold } /* Keyword */
body .o { color: #666666 } /* Operator */
body .cm { color: #408080; font-style: italic } /* Comment.Multiline */
body .cp { color: #BC7A00 } /* Comment.Preproc */
body .c1 { color: #408080; font-style: italic } /* Comment.Single */
body .cs { color: #408080; font-style: italic } /* Comment.Special */
body .gd { color: #A00000 } /* Generic.Deleted */
body .ge { font-style: italic } /* Generic.Emph */
body .gr { color: #FF0000 } /* Generic.Error */
body .gh { color: #000080; font-weight: bold } /* Generic.Heading */
body .gi { color: #00A000 } /* Generic.Inserted */
body .go { color: #808080 } /* Generic.Output */
body .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
body .gs { font-weight: bold } /* Generic.Strong */
body .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
body .gt { color: #0040D0 } /* Generic.Traceback */
body .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
body .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
body .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
body .kp { color: #008000 } /* Keyword.Pseudo */
body .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
body .kt { color: #B00040 } /* Keyword.Type */
body .m { color: #666666 } /* Literal.Number */
body .s { color: #BA2121 } /* Literal.String */
body .na { color: #7D9029 } /* Name.Attribute */
body .nb { color: #008000 } /* Name.Builtin */
body .nc { color: #1c1ca3; font-weight: bold } /* Name.Class */
body .no { color: #880000 } /* Name.Constant */
body .nd { color: #AA22FF } /* Name.Decorator */
body .ni { color: #999999; font-weight: bold } /* Name.Entity */
body .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
body .nf { color: #1c1ca3 } /* Name.Function */
body .nl { color: #A0A000 } /* Name.Label */
body .nn { color: #1c1ca3; font-weight: bold } /* Name.Namespace */
body .nt { color: #008000; font-weight: bold } /* Name.Tag */
body .nv { color: #19177C } /* Name.Variable */
body .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
body .w { color: #bbbbbb } /* Text.Whitespace */
body .mf { color: #666666 } /* Literal.Number.Float */
body .mh { color: #666666 } /* Literal.Number.Hex */
body .mi { color: #666666 } /* Literal.Number.Integer */
body .mo { color: #666666 } /* Literal.Number.Oct */
body .sb { color: #BA2121 } /* Literal.String.Backtick */
body .sc { color: #BA2121 } /* Literal.String.Char */
body .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
body .s2 { color: #BA2121 } /* Literal.String.Double */
body .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
body .sh { color: #BA2121 } /* Literal.String.Heredoc */
body .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
body .sx { color: #008000 } /* Literal.String.Other */
body .sr { color: #BB6688 } /* Literal.String.Regex */
body .s1 { color: #BA2121 } /* Literal.String.Single */
body .ss { color: #19177C } /* Literal.String.Symbol */
body .bp { color: #008000 } /* Name.Builtin.Pseudo */
body .vc { color: #19177C } /* Name.Variable.Class */
body .vg { color: #19177C } /* Name.Variable.Global */
body .vi { color: #19177C } /* Name.Variable.Instance */
body .il { color: #666666 } /* Literal.Number.Integer.Long */