/* Pygments dark theme — generated by highlight.py, scoped to code panels. */
.code-panel pre code .hll { background:#161B22; }
.code-panel pre code .c { color:#5C6776;font-style:italic; }
.code-panel pre code .cm { color:#5C6776;font-style:italic; }
.code-panel pre code .c1 { color:#5C6776;font-style:italic; }
.code-panel pre code .cs { color:#5C6776;font-style:italic; }
.code-panel pre code .cp { color:#7C8794; }
.code-panel pre code .k { color:#C084FC; }
.code-panel pre code .kc { color:#C084FC; }
.code-panel pre code .kd { color:#C084FC; }
.code-panel pre code .kn { color:#C084FC; }
.code-panel pre code .kp { color:#C084FC; }
.code-panel pre code .kr { color:#C084FC; }
.code-panel pre code .kt { color:#60A5FA; }
.code-panel pre code .n { color:#D7DEE8; }
.code-panel pre code .nx { color:#D7DEE8; }
.code-panel pre code .nl { color:#60A5FA; }
.code-panel pre code .ne { color:#FCD34D; }
.code-panel pre code .na { color:#FCD34D; }
.code-panel pre code .nb { color:#60A5FA; }
.code-panel pre code .nf { color:#7DD3FC; }
.code-panel pre code .nc { color:#FCD34D; }
.code-panel pre code .nn { color:#D7DEE8; }
.code-panel pre code .nd { color:#FCD34D; }
.code-panel pre code .nt { color:#C084FC; }
.code-panel pre code .nv { color:#D7DEE8; }
.code-panel pre code .no { color:#60A5FA; }
.code-panel pre code .s { color:#86EFAC; }
.code-panel pre code .sb { color:#86EFAC; }
.code-panel pre code .sc { color:#86EFAC; }
.code-panel pre code .sd { color:#86EFAC; }
.code-panel pre code .s2 { color:#86EFAC; }
.code-panel pre code .se { color:#FDBA74; }
.code-panel pre code .sh { color:#86EFAC; }
.code-panel pre code .si { color:#FDBA74; }
.code-panel pre code .sx { color:#86EFAC; }
.code-panel pre code .s1 { color:#86EFAC; }
.code-panel pre code .ss { color:#86EFAC; }
.code-panel pre code .sr { color:#FDBA74; }
.code-panel pre code .m { color:#FDBA74; }
.code-panel pre code .mi { color:#FDBA74; }
.code-panel pre code .mf { color:#FDBA74; }
.code-panel pre code .mh { color:#FDBA74; }
.code-panel pre code .mo { color:#FDBA74; }
.code-panel pre code .il { color:#FDBA74; }
.code-panel pre code .o { color:#97A3B4; }
.code-panel pre code .ow { color:#C084FC; }
.code-panel pre code .p { color:#97A3B4; }
.code-panel pre code .bp { color:#60A5FA; }
.code-panel pre code .fm { color:#7DD3FC; }
.code-panel pre code .gd { color:#EF4444; }
.code-panel pre code .gi { color:#22C55E; }
.code-panel pre code .gh { color:#60A5FA;font-weight:600; }
.code-panel pre code .err { color:#E7EBF0; }
.code-panel pre code .w { color:#10151C; }