/* --- pygments.css --- */
.pygments pre { line-height: 125%; }
.pygments td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
.pygments span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
.pygments td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.pygments span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.pygments .hll { background-color: #ffffcc }
.pygments .c { color: #3D7B7B; font-style: italic } /* Comment */
.pygments .err { border: 1px solid #F00 } /* Error */
.pygments .k { color: #008000; font-weight: bold } /* Keyword */
.pygments .o { color: #666 } /* Operator */
.pygments .ch { color: #3D7B7B; font-style: italic } /* Comment.Hashbang */
.pygments .cm { color: #3D7B7B; font-style: italic } /* Comment.Multiline */
.pygments .cp { color: #9C6500 } /* Comment.Preproc */
.pygments .cpf { color: #3D7B7B; font-style: italic } /* Comment.PreprocFile */
.pygments .c1 { color: #3D7B7B; font-style: italic } /* Comment.Single */
.pygments .cs { color: #3D7B7B; font-style: italic } /* Comment.Special */
.pygments .gd { color: #A00000 } /* Generic.Deleted */
.pygments .ge { font-style: italic } /* Generic.Emph */
.pygments .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.pygments .gr { color: #E40000 } /* Generic.Error */
.pygments .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.pygments .gi { color: #008400 } /* Generic.Inserted */
.pygments .go { color: #717171 } /* Generic.Output */
.pygments .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
.pygments .gs { font-weight: bold } /* Generic.Strong */
.pygments .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.pygments .gt { color: #04D } /* Generic.Traceback */
.pygments .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.pygments .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.pygments .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
.pygments .kp { color: #008000 } /* Keyword.Pseudo */
.pygments .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.pygments .kt { color: #B00040 } /* Keyword.Type */
.pygments .m { color: #666 } /* Literal.Number */
.pygments .s { color: #BA2121 } /* Literal.String */
.pygments .na { color: #687822 } /* Name.Attribute */
.pygments .nb { color: #008000 } /* Name.Builtin */
.pygments .nc { color: #00F; font-weight: bold } /* Name.Class */
.pygments .no { color: #800 } /* Name.Constant */
.pygments .nd { color: #A2F } /* Name.Decorator */
.pygments .ni { color: #717171; font-weight: bold } /* Name.Entity */
.pygments .ne { color: #CB3F38; font-weight: bold } /* Name.Exception */
.pygments .nf { color: #00F } /* Name.Function */
.pygments .nl { color: #767600 } /* Name.Label */
.pygments .nn { color: #00F; font-weight: bold } /* Name.Namespace */
.pygments .nt { color: #008000; font-weight: bold } /* Name.Tag */
.pygments .nv { color: #19177C } /* Name.Variable */
.pygments .ow { color: #A2F; font-weight: bold } /* Operator.Word */
.pygments .w { color: #BBB } /* Text.Whitespace */
.pygments .mb { color: #666 } /* Literal.Number.Bin */
.pygments .mf { color: #666 } /* Literal.Number.Float */
.pygments .mh { color: #666 } /* Literal.Number.Hex */
.pygments .mi { color: #666 } /* Literal.Number.Integer */
.pygments .mo { color: #666 } /* Literal.Number.Oct */
.pygments .sa { color: #BA2121 } /* Literal.String.Affix */
.pygments .sb { color: #BA2121 } /* Literal.String.Backtick */
.pygments .sc { color: #BA2121 } /* Literal.String.Char */
.pygments .dl { color: #BA2121 } /* Literal.String.Delimiter */
.pygments .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
.pygments .s2 { color: #BA2121 } /* Literal.String.Double */
.pygments .se { color: #AA5D1F; font-weight: bold } /* Literal.String.Escape */
.pygments .sh { color: #BA2121 } /* Literal.String.Heredoc */
.pygments .si { color: #A45A77; font-weight: bold } /* Literal.String.Interpol */
.pygments .sx { color: #008000 } /* Literal.String.Other */
.pygments .sr { color: #A45A77 } /* Literal.String.Regex */
.pygments .s1 { color: #BA2121 } /* Literal.String.Single */
.pygments .ss { color: #19177C } /* Literal.String.Symbol */
.pygments .bp { color: #008000 } /* Name.Builtin.Pseudo */
.pygments .fm { color: #00F } /* Name.Function.Magic */
.pygments .vc { color: #19177C } /* Name.Variable.Class */
.pygments .vg { color: #19177C } /* Name.Variable.Global */
.pygments .vi { color: #19177C } /* Name.Variable.Instance */
.pygments .vm { color: #19177C } /* Name.Variable.Magic */
.pygments .il { color: #666 } /* Literal.Number.Integer.Long */

/* --- styles.css --- */
body {
  margin: 0 auto;
  padding: 0 10px;
  max-width: 80ch;
  font-family: monospace;
}

header {
  text-align: center;
  border-bottom: 2px solid #ddd;
  padding-top: 10px;
  padding-bottom: 15px;
}

header img {
  width: 24px;
  display: inline-block;
  margin-bottom: -8px;
  margin-right: 1ch;
}

header a {
  color: #000;
  text-decoration: none;
}

main {
  margin-top: 30px;
  margin-bottom: 100px;
}

footer {
  text-align: center;
  border-top: 2px solid #ddd;
  padding: 10px;
}

article h1 {
  text-align: center;
}

article h2 {
  margin-top: 30px;
}

article div.written-on {
  color: #999;
  text-align: center;
}

article section.table-of-contents ul {
  list-style: none;
  padding-left: 30px;
}

article section.table-of-contents a {
  color: black;
  text-decoration: none;
}

article a.ref {
  text-decoration: none;
}

article p {
  line-height: 200%;
}

article code {
  background-color: #ddd;
  padding: 2px 5px;
  border-radius: 3px;
}

article li {
  margin-bottom: 10px;
}

article .pygments {
  border: 2px solid #ddd;
  overflow-x: scroll;
  margin-top: 12px;
  margin-bottom: 12px;
}

article .pygments .linenos {
  color: #aaa;
}

article .pygments pre {
  margin: 0;
}

article ol.references li {
  counter-increment: item;
  word-wrap: break-word;
}

article ol.references li::marker {
  content: "[" counter(item) "] ";
}

@media print {
  body {
    max-width: none;
  }

  /* article .pygments { */
  /*   break-inside: avoid; */
  /* } */

  article a {
    color: black;
  }
}