html:not(.dark) .dk-prose .hl { background: #ffffff; }
html:not(.dark) .dk-prose .hl .c { color: #008000 }
html:not(.dark) .dk-prose .hl .err { border: 1px solid #F00 }
html:not(.dark) .dk-prose .hl .k { color: #00F }
html:not(.dark) .dk-prose .hl .ch { color: #008000 }
html:not(.dark) .dk-prose .hl .cm { color: #008000 }
html:not(.dark) .dk-prose .hl .cp { color: #00F }
html:not(.dark) .dk-prose .hl .cpf { color: #008000 }
html:not(.dark) .dk-prose .hl .c1 { color: #008000 }
html:not(.dark) .dk-prose .hl .cs { color: #008000 }
html:not(.dark) .dk-prose .hl .ge { font-style: italic }
html:not(.dark) .dk-prose .hl .ges { font-weight: bold; font-style: italic }
html:not(.dark) .dk-prose .hl .gh { font-weight: bold }
html:not(.dark) .dk-prose .hl .gp { font-weight: bold }
html:not(.dark) .dk-prose .hl .gs { font-weight: bold }
html:not(.dark) .dk-prose .hl .gu { font-weight: bold }
html:not(.dark) .dk-prose .hl .kc { color: #00F }
html:not(.dark) .dk-prose .hl .kd { color: #00F }
html:not(.dark) .dk-prose .hl .kn { color: #00F }
html:not(.dark) .dk-prose .hl .kp { color: #00F }
html:not(.dark) .dk-prose .hl .kr { color: #00F }
html:not(.dark) .dk-prose .hl .kt { color: #2B91AF }
html:not(.dark) .dk-prose .hl .s { color: #A31515 }
html:not(.dark) .dk-prose .hl .nc { color: #2B91AF }
html:not(.dark) .dk-prose .hl .ow { color: #00F }
html:not(.dark) .dk-prose .hl .sa { color: #A31515 }
html:not(.dark) .dk-prose .hl .sb { color: #A31515 }
html:not(.dark) .dk-prose .hl .sc { color: #A31515 }
html:not(.dark) .dk-prose .hl .dl { color: #A31515 }
html:not(.dark) .dk-prose .hl .sd { color: #A31515 }
html:not(.dark) .dk-prose .hl .s2 { color: #A31515 }
html:not(.dark) .dk-prose .hl .se { color: #A31515 }
html:not(.dark) .dk-prose .hl .sh { color: #A31515 }
html:not(.dark) .dk-prose .hl .si { color: #A31515 }
html:not(.dark) .dk-prose .hl .sx { color: #A31515 }
html:not(.dark) .dk-prose .hl .sr { color: #A31515 }
html:not(.dark) .dk-prose .hl .s1 { color: #A31515 }
html:not(.dark) .dk-prose .hl .ss { color: #A31515 }
html.dark .dk-prose .hl { background: #282C34; color: #ABB2BF }
html.dark .dk-prose .hl .c { color: #7F848E }
html.dark .dk-prose .hl .err { color: #ABB2BF }
html.dark .dk-prose .hl .esc { color: #ABB2BF }
html.dark .dk-prose .hl .g { color: #ABB2BF }
html.dark .dk-prose .hl .k { color: #C678DD }
html.dark .dk-prose .hl .l { color: #ABB2BF }
html.dark .dk-prose .hl .n { color: #E06C75 }
html.dark .dk-prose .hl .o { color: #56B6C2 }
html.dark .dk-prose .hl .x { color: #ABB2BF }
html.dark .dk-prose .hl .p { color: #ABB2BF }
html.dark .dk-prose .hl .ch { color: #7F848E }
html.dark .dk-prose .hl .cm { color: #7F848E }
html.dark .dk-prose .hl .cp { color: #7F848E }
html.dark .dk-prose .hl .cpf { color: #7F848E }
html.dark .dk-prose .hl .c1 { color: #7F848E }
html.dark .dk-prose .hl .cs { color: #7F848E }
html.dark .dk-prose .hl .gd { color: #E06C75 }
html.dark .dk-prose .hl .ge { color: #ABB2BF; font-style: italic }
html.dark .dk-prose .hl .ges { color: #ABB2BF }
html.dark .dk-prose .hl .gr { color: #E06C75 }
html.dark .dk-prose .hl .gh { color: #ABB2BF; font-weight: bold }
html.dark .dk-prose .hl .gi { color: #98C379 }
html.dark .dk-prose .hl .go { color: #E06C75 }
html.dark .dk-prose .hl .gp { color: #ABB2BF }
html.dark .dk-prose .hl .gs { color: #ABB2BF; font-weight: bold }
html.dark .dk-prose .hl .gu { color: #ABB2BF; font-weight: bold }
html.dark .dk-prose .hl .gt { color: #E06C75 }
html.dark .dk-prose .hl .kc { color: #E5C07B }
html.dark .dk-prose .hl .kd { color: #C678DD }
html.dark .dk-prose .hl .kn { color: #C678DD }
html.dark .dk-prose .hl .kp { color: #C678DD }
html.dark .dk-prose .hl .kr { color: #C678DD }
html.dark .dk-prose .hl .kt { color: #E5C07B }
html.dark .dk-prose .hl .ld { color: #ABB2BF }
html.dark .dk-prose .hl .m { color: #D19A66 }
html.dark .dk-prose .hl .s { color: #98C379 }
html.dark .dk-prose .hl .na { color: #E06C75 }
html.dark .dk-prose .hl .nb { color: #E5C07B }
html.dark .dk-prose .hl .nc { color: #E5C07B }
html.dark .dk-prose .hl .no { color: #E06C75 }
html.dark .dk-prose .hl .nd { color: #61AFEF }
html.dark .dk-prose .hl .ni { color: #E06C75 }
html.dark .dk-prose .hl .ne { color: #E06C75 }
html.dark .dk-prose .hl .nf { color: #61AFEF; font-weight: bold }
html.dark .dk-prose .hl .nl { color: #E06C75 }
html.dark .dk-prose .hl .nn { color: #E06C75 }
html.dark .dk-prose .hl .nx { color: #E06C75 }
html.dark .dk-prose .hl .py { color: #E06C75 }
html.dark .dk-prose .hl .nt { color: #E06C75 }
html.dark .dk-prose .hl .nv { color: #E06C75 }
html.dark .dk-prose .hl .ow { color: #56B6C2 }
html.dark .dk-prose .hl .pm { color: #ABB2BF }
html.dark .dk-prose .hl .w { color: #ABB2BF }
html.dark .dk-prose .hl .mb { color: #D19A66 }
html.dark .dk-prose .hl .mf { color: #D19A66 }
html.dark .dk-prose .hl .mh { color: #D19A66 }
html.dark .dk-prose .hl .mi { color: #D19A66 }
html.dark .dk-prose .hl .mo { color: #D19A66 }
html.dark .dk-prose .hl .sa { color: #98C379 }
html.dark .dk-prose .hl .sb { color: #98C379 }
html.dark .dk-prose .hl .sc { color: #98C379 }
html.dark .dk-prose .hl .dl { color: #98C379 }
html.dark .dk-prose .hl .sd { color: #98C379 }
html.dark .dk-prose .hl .s2 { color: #98C379 }
html.dark .dk-prose .hl .se { color: #98C379 }
html.dark .dk-prose .hl .sh { color: #98C379 }
html.dark .dk-prose .hl .si { color: #98C379 }
html.dark .dk-prose .hl .sx { color: #98C379 }
html.dark .dk-prose .hl .sr { color: #98C379 }
html.dark .dk-prose .hl .s1 { color: #98C379 }
html.dark .dk-prose .hl .ss { color: #98C379 }
html.dark .dk-prose .hl .bp { color: #E5C07B }
html.dark .dk-prose .hl .fm { color: #56B6C2; font-weight: bold }
html.dark .dk-prose .hl .vc { color: #E06C75 }
html.dark .dk-prose .hl .vg { color: #E06C75 }
html.dark .dk-prose .hl .vi { color: #E06C75 }
html.dark .dk-prose .hl .vm { color: #E06C75 }
html.dark .dk-prose .hl .il { color: #D19A66 }