/* Local styles for the Rouge/Pygments markup used in archived posts. */
.highlight { background: #f6f8fa; color: #24292e; border-radius: 4px; }
.highlight pre { padding: 1rem; overflow-x: auto; }
.highlight .c, .highlight .c1, .highlight .cm, .highlight .cp, .highlight .cs { color: #586069; font-style: italic; }
.highlight .k, .highlight .kd, .highlight .kn, .highlight .kp, .highlight .kr, .highlight .kt, .highlight .ow { color: #a62646; font-weight: 600; }
.highlight .s, .highlight .s1, .highlight .s2, .highlight .sb, .highlight .sc, .highlight .sd, .highlight .se, .highlight .sh, .highlight .si, .highlight .sr, .highlight .ss { color: #14532d; }
.highlight .m, .highlight .mf, .highlight .mh, .highlight .mi, .highlight .mo, .highlight .na, .highlight .nb, .highlight .no { color: #005a9c; }
.highlight .nc, .highlight .nf, .highlight .nn { color: #6f42c1; }
.highlight .gd { color: #842029; background: #f8d7da; }
.highlight .gi { color: #0f5132; background: #d1e7dd; }
.highlight .ge { font-style: italic; }
.highlight .gs { font-weight: bold; }
html.dark-mode .highlight { background: #16213e; color: #e0e0e0; }
html.dark-mode .highlight .c, html.dark-mode .highlight .c1, html.dark-mode .highlight .cm, html.dark-mode .highlight .cp, html.dark-mode .highlight .cs { color: #a0aab8; }
html.dark-mode .highlight .k, html.dark-mode .highlight .kd, html.dark-mode .highlight .kn, html.dark-mode .highlight .kp, html.dark-mode .highlight .kr, html.dark-mode .highlight .kt, html.dark-mode .highlight .ow { color: #ff9cab; }
html.dark-mode .highlight .s, html.dark-mode .highlight .s1, html.dark-mode .highlight .s2, html.dark-mode .highlight .sb, html.dark-mode .highlight .sc, html.dark-mode .highlight .sd, html.dark-mode .highlight .se, html.dark-mode .highlight .sh, html.dark-mode .highlight .si, html.dark-mode .highlight .sr, html.dark-mode .highlight .ss { color: #9ee6b0; }
html.dark-mode .highlight .m, html.dark-mode .highlight .mf, html.dark-mode .highlight .mh, html.dark-mode .highlight .mi, html.dark-mode .highlight .mo, html.dark-mode .highlight .na, html.dark-mode .highlight .nb, html.dark-mode .highlight .no { color: #9bcfff; }
html.dark-mode .highlight .nc, html.dark-mode .highlight .nf, html.dark-mode .highlight .nn { color: #cbb0ff; }