/* Syntax highlighting (chroma classes).
   Generated from the "github" and "github-dark" chroma styles; the
   surrounding <pre> colours come from theme.css. */

.chroma .err { color: #a61717; background-color: #e3d2d2 }
.chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
.chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; }
.chroma .hl { background-color: #e5e5e5 }
.chroma .lnt { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
.chroma .ln { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
.chroma .line { display: flex; }
.chroma .k { color: #000000; font-weight: bold }
.chroma .kc { color: #000000; font-weight: bold }
.chroma .kd { color: #000000; font-weight: bold }
.chroma .kn { color: #000000; font-weight: bold }
.chroma .kp { color: #000000; font-weight: bold }
.chroma .kr { color: #000000; font-weight: bold }
.chroma .kt { color: #445588; font-weight: bold }
.chroma .na { color: #008080 }
.chroma .nb { color: #0086b3 }
.chroma .bp { color: #999999 }
.chroma .nc { color: #445588; font-weight: bold }
.chroma .no { color: #008080 }
.chroma .nd { color: #3c5d5d; font-weight: bold }
.chroma .ni { color: #800080 }
.chroma .ne { color: #990000; font-weight: bold }
.chroma .nf { color: #990000; font-weight: bold }
.chroma .nl { color: #990000; font-weight: bold }
.chroma .nn { color: #555555 }
.chroma .nt { color: #000080 }
.chroma .nv { color: #008080 }
.chroma .vc { color: #008080 }
.chroma .vg { color: #008080 }
.chroma .vi { color: #008080 }
.chroma .s { color: #dd1144 }
.chroma .sa { color: #dd1144 }
.chroma .sb { color: #dd1144 }
.chroma .sc { color: #dd1144 }
.chroma .dl { color: #dd1144 }
.chroma .sd { color: #dd1144 }
.chroma .s2 { color: #dd1144 }
.chroma .se { color: #dd1144 }
.chroma .sh { color: #dd1144 }
.chroma .si { color: #dd1144 }
.chroma .sx { color: #dd1144 }
.chroma .sr { color: #009926 }
.chroma .s1 { color: #dd1144 }
.chroma .ss { color: #990073 }
.chroma .m { color: #009999 }
.chroma .mb { color: #009999 }
.chroma .mf { color: #009999 }
.chroma .mh { color: #009999 }
.chroma .mi { color: #009999 }
.chroma .il { color: #009999 }
.chroma .mo { color: #009999 }
.chroma .o { color: #000000; font-weight: bold }
.chroma .ow { color: #000000; font-weight: bold }
.chroma .c { color: #999988; font-style: italic }
.chroma .ch { color: #999988; font-style: italic }
.chroma .cm { color: #999988; font-style: italic }
.chroma .c1 { color: #999988; font-style: italic }
.chroma .cs { color: #999999; font-weight: bold; font-style: italic }
.chroma .cp { color: #999999; font-weight: bold; font-style: italic }
.chroma .cpf { color: #999999; font-weight: bold; font-style: italic }
.chroma .gd { color: #000000; background-color: #ffdddd }
.chroma .ge { color: #000000; font-style: italic }
.chroma .gr { color: #aa0000 }
.chroma .gh { color: #999999 }
.chroma .gi { color: #000000; background-color: #ddffdd }
.chroma .go { color: #888888 }
.chroma .gp { color: #555555 }
.chroma .gs { font-weight: bold }
.chroma .gu { color: #aaaaaa }
.chroma .gt { color: #aa0000 }
.chroma .gl { text-decoration: underline }
.chroma .w { color: #bbbbbb }

@media (prefers-color-scheme: dark) {
  html[data-scheme="auto"] .chroma .err { color: #ff0000 }
  html[data-scheme="auto"] .chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
  html[data-scheme="auto"] .chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; }
  html[data-scheme="auto"] .chroma .hl { background-color: #191919 }
  html[data-scheme="auto"] .chroma .lnt { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #727272 }
  html[data-scheme="auto"] .chroma .ln { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #727272 }
  html[data-scheme="auto"] .chroma .line { display: flex; }
  html[data-scheme="auto"] .chroma .k { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .kc { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .kd { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .kn { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .kp { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .kr { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .kt { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .na { color: #007f7f }
  html[data-scheme="auto"] .chroma .nb { color: #ffffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .nt { font-weight: bold }
  html[data-scheme="auto"] .chroma .ld { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .s { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .sa { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .sb { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .sc { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .dl { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .sd { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .s2 { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .se { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .sh { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .si { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .sx { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .sr { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .s1 { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .ss { color: #00ffff; font-weight: bold }
  html[data-scheme="auto"] .chroma .m { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .mb { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .mf { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .mh { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .mi { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .il { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .mo { color: #ffff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .c { color: #007f7f }
  html[data-scheme="auto"] .chroma .ch { color: #007f7f }
  html[data-scheme="auto"] .chroma .cm { color: #007f7f }
  html[data-scheme="auto"] .chroma .c1 { color: #007f7f }
  html[data-scheme="auto"] .chroma .cs { color: #007f7f }
  html[data-scheme="auto"] .chroma .cp { color: #00ff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .cpf { color: #00ff00; font-weight: bold }
  html[data-scheme="auto"] .chroma .gh { font-weight: bold }
  html[data-scheme="auto"] .chroma .gs { font-weight: bold }
  html[data-scheme="auto"] .chroma .gu { font-weight: bold }
  html[data-scheme="auto"] .chroma .gl { text-decoration: underline }
}

html[data-scheme="dark"] .chroma .err { color: #ff0000 }
html[data-scheme="dark"] .chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
html[data-scheme="dark"] .chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; }
html[data-scheme="dark"] .chroma .hl { background-color: #191919 }
html[data-scheme="dark"] .chroma .lnt { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #727272 }
html[data-scheme="dark"] .chroma .ln { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #727272 }
html[data-scheme="dark"] .chroma .line { display: flex; }
html[data-scheme="dark"] .chroma .k { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .kc { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .kd { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .kn { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .kp { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .kr { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .kt { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .na { color: #007f7f }
html[data-scheme="dark"] .chroma .nb { color: #ffffff; font-weight: bold }
html[data-scheme="dark"] .chroma .nt { font-weight: bold }
html[data-scheme="dark"] .chroma .ld { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .s { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .sa { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .sb { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .sc { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .dl { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .sd { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .s2 { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .se { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .sh { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .si { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .sx { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .sr { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .s1 { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .ss { color: #00ffff; font-weight: bold }
html[data-scheme="dark"] .chroma .m { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .mb { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .mf { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .mh { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .mi { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .il { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .mo { color: #ffff00; font-weight: bold }
html[data-scheme="dark"] .chroma .c { color: #007f7f }
html[data-scheme="dark"] .chroma .ch { color: #007f7f }
html[data-scheme="dark"] .chroma .cm { color: #007f7f }
html[data-scheme="dark"] .chroma .c1 { color: #007f7f }
html[data-scheme="dark"] .chroma .cs { color: #007f7f }
html[data-scheme="dark"] .chroma .cp { color: #00ff00; font-weight: bold }
html[data-scheme="dark"] .chroma .cpf { color: #00ff00; font-weight: bold }
html[data-scheme="dark"] .chroma .gh { font-weight: bold }
html[data-scheme="dark"] .chroma .gs { font-weight: bold }
html[data-scheme="dark"] .chroma .gu { font-weight: bold }
html[data-scheme="dark"] .chroma .gl { text-decoration: underline }