html:not(.dark) .dk-prose .hl { background: #f0f0f0; }
html:not(.dark) .dk-prose .hl .c { color: #60A0B0; font-style: italic }
html:not(.dark) .dk-prose .hl .err { border: 1px solid #F00 }
html:not(.dark) .dk-prose .hl .k { color: #007020; font-weight: bold }
html:not(.dark) .dk-prose .hl .o { color: #666 }
html:not(.dark) .dk-prose .hl .ch { color: #60A0B0; font-style: italic }
html:not(.dark) .dk-prose .hl .cm { color: #60A0B0; font-style: italic }
html:not(.dark) .dk-prose .hl .cp { color: #007020 }
html:not(.dark) .dk-prose .hl .cpf { color: #60A0B0; font-style: italic }
html:not(.dark) .dk-prose .hl .c1 { color: #60A0B0; font-style: italic }
html:not(.dark) .dk-prose .hl .cs { color: #60A0B0; background-color: #FFF0F0 }
html:not(.dark) .dk-prose .hl .gd { color: #A00000 }
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 .gr { color: #F00 }
html:not(.dark) .dk-prose .hl .gh { color: #000080; font-weight: bold }
html:not(.dark) .dk-prose .hl .gi { color: #00A000 }
html:not(.dark) .dk-prose .hl .go { color: #888 }
html:not(.dark) .dk-prose .hl .gp { color: #C65D09; font-weight: bold }
html:not(.dark) .dk-prose .hl .gs { font-weight: bold }
html:not(.dark) .dk-prose .hl .gu { color: #800080; font-weight: bold }
html:not(.dark) .dk-prose .hl .gt { color: #04D }
html:not(.dark) .dk-prose .hl .kc { color: #007020; font-weight: bold }
html:not(.dark) .dk-prose .hl .kd { color: #007020; font-weight: bold }
html:not(.dark) .dk-prose .hl .kn { color: #007020; font-weight: bold }
html:not(.dark) .dk-prose .hl .kp { color: #007020 }
html:not(.dark) .dk-prose .hl .kr { color: #007020; font-weight: bold }
html:not(.dark) .dk-prose .hl .kt { color: #902000 }
html:not(.dark) .dk-prose .hl .m { color: #40A070 }
html:not(.dark) .dk-prose .hl .s { color: #4070A0 }
html:not(.dark) .dk-prose .hl .na { color: #4070A0 }
html:not(.dark) .dk-prose .hl .nb { color: #007020 }
html:not(.dark) .dk-prose .hl .nc { color: #0E84B5; font-weight: bold }
html:not(.dark) .dk-prose .hl .no { color: #60ADD5 }
html:not(.dark) .dk-prose .hl .nd { color: #555; font-weight: bold }
html:not(.dark) .dk-prose .hl .ni { color: #D55537; font-weight: bold }
html:not(.dark) .dk-prose .hl .ne { color: #007020 }
html:not(.dark) .dk-prose .hl .nf { color: #06287E }
html:not(.dark) .dk-prose .hl .nl { color: #002070; font-weight: bold }
html:not(.dark) .dk-prose .hl .nn { color: #0E84B5; font-weight: bold }
html:not(.dark) .dk-prose .hl .nt { color: #062873; font-weight: bold }
html:not(.dark) .dk-prose .hl .nv { color: #BB60D5 }
html:not(.dark) .dk-prose .hl .ow { color: #007020; font-weight: bold }
html:not(.dark) .dk-prose .hl .w { color: #BBB }
html:not(.dark) .dk-prose .hl .mb { color: #40A070 }
html:not(.dark) .dk-prose .hl .mf { color: #40A070 }
html:not(.dark) .dk-prose .hl .mh { color: #40A070 }
html:not(.dark) .dk-prose .hl .mi { color: #40A070 }
html:not(.dark) .dk-prose .hl .mo { color: #40A070 }
html:not(.dark) .dk-prose .hl .sa { color: #4070A0 }
html:not(.dark) .dk-prose .hl .sb { color: #4070A0 }
html:not(.dark) .dk-prose .hl .sc { color: #4070A0 }
html:not(.dark) .dk-prose .hl .dl { color: #4070A0 }
html:not(.dark) .dk-prose .hl .sd { color: #4070A0; font-style: italic }
html:not(.dark) .dk-prose .hl .s2 { color: #4070A0 }
html:not(.dark) .dk-prose .hl .se { color: #4070A0; font-weight: bold }
html:not(.dark) .dk-prose .hl .sh { color: #4070A0 }
html:not(.dark) .dk-prose .hl .si { color: #70A0D0; font-style: italic }
html:not(.dark) .dk-prose .hl .sx { color: #C65D09 }
html:not(.dark) .dk-prose .hl .sr { color: #235388 }
html:not(.dark) .dk-prose .hl .s1 { color: #4070A0 }
html:not(.dark) .dk-prose .hl .ss { color: #517918 }
html:not(.dark) .dk-prose .hl .bp { color: #007020 }
html:not(.dark) .dk-prose .hl .fm { color: #06287E }
html:not(.dark) .dk-prose .hl .vc { color: #BB60D5 }
html:not(.dark) .dk-prose .hl .vg { color: #BB60D5 }
html:not(.dark) .dk-prose .hl .vi { color: #BB60D5 }
html:not(.dark) .dk-prose .hl .vm { color: #BB60D5 }
html:not(.dark) .dk-prose .hl .il { color: #40A070 }
html.dark .dk-prose .hl { background: #2E3440; color: #D8DEE9 }
html.dark .dk-prose .hl .c { color: #616E87; font-style: italic }
html.dark .dk-prose .hl .err { color: #BF616A }
html.dark .dk-prose .hl .esc { color: #D8DEE9 }
html.dark .dk-prose .hl .g { color: #D8DEE9 }
html.dark .dk-prose .hl .k { color: #81A1C1; font-weight: bold }
html.dark .dk-prose .hl .l { color: #D8DEE9 }
html.dark .dk-prose .hl .n { color: #D8DEE9 }
html.dark .dk-prose .hl .o { color: #81A1C1; font-weight: bold }
html.dark .dk-prose .hl .x { color: #D8DEE9 }
html.dark .dk-prose .hl .p { color: #ECEFF4 }
html.dark .dk-prose .hl .ch { color: #616E87; font-style: italic }
html.dark .dk-prose .hl .cm { color: #616E87; font-style: italic }
html.dark .dk-prose .hl .cp { color: #5E81AC; font-style: italic }
html.dark .dk-prose .hl .cpf { color: #616E87; font-style: italic }
html.dark .dk-prose .hl .c1 { color: #616E87; font-style: italic }
html.dark .dk-prose .hl .cs { color: #616E87; font-style: italic }
html.dark .dk-prose .hl .gd { color: #BF616A }
html.dark .dk-prose .hl .ge { color: #D8DEE9; font-style: italic }
html.dark .dk-prose .hl .ges { color: #D8DEE9; font-weight: bold; font-style: italic }
html.dark .dk-prose .hl .gr { color: #BF616A }
html.dark .dk-prose .hl .gh { color: #88C0D0; font-weight: bold }
html.dark .dk-prose .hl .gi { color: #A3BE8C }
html.dark .dk-prose .hl .go { color: #D8DEE9 }
html.dark .dk-prose .hl .gp { color: #616E88; font-weight: bold }
html.dark .dk-prose .hl .gs { color: #D8DEE9; font-weight: bold }
html.dark .dk-prose .hl .gu { color: #88C0D0; font-weight: bold }
html.dark .dk-prose .hl .gt { color: #BF616A }
html.dark .dk-prose .hl .kc { color: #81A1C1; font-weight: bold }
html.dark .dk-prose .hl .kd { color: #81A1C1; font-weight: bold }
html.dark .dk-prose .hl .kn { color: #81A1C1; font-weight: bold }
html.dark .dk-prose .hl .kp { color: #81A1C1 }
html.dark .dk-prose .hl .kr { color: #81A1C1; font-weight: bold }
html.dark .dk-prose .hl .kt { color: #81A1C1 }
html.dark .dk-prose .hl .ld { color: #D8DEE9 }
html.dark .dk-prose .hl .m { color: #B48EAD }
html.dark .dk-prose .hl .s { color: #A3BE8C }
html.dark .dk-prose .hl .na { color: #8FBCBB }
html.dark .dk-prose .hl .nb { color: #81A1C1 }
html.dark .dk-prose .hl .nc { color: #8FBCBB }
html.dark .dk-prose .hl .no { color: #8FBCBB }
html.dark .dk-prose .hl .nd { color: #D08770 }
html.dark .dk-prose .hl .ni { color: #D08770 }
html.dark .dk-prose .hl .ne { color: #BF616A }
html.dark .dk-prose .hl .nf { color: #88C0D0 }
html.dark .dk-prose .hl .nl { color: #D8DEE9 }
html.dark .dk-prose .hl .nn { color: #8FBCBB }
html.dark .dk-prose .hl .nx { color: #D8DEE9 }
html.dark .dk-prose .hl .py { color: #D8DEE9 }
html.dark .dk-prose .hl .nt { color: #81A1C1 }
html.dark .dk-prose .hl .nv { color: #D8DEE9 }
html.dark .dk-prose .hl .ow { color: #81A1C1; font-weight: bold }
html.dark .dk-prose .hl .pm { color: #ECEFF4 }
html.dark .dk-prose .hl .w { color: #D8DEE9 }
html.dark .dk-prose .hl .mb { color: #B48EAD }
html.dark .dk-prose .hl .mf { color: #B48EAD }
html.dark .dk-prose .hl .mh { color: #B48EAD }
html.dark .dk-prose .hl .mi { color: #B48EAD }
html.dark .dk-prose .hl .mo { color: #B48EAD }
html.dark .dk-prose .hl .sa { color: #A3BE8C }
html.dark .dk-prose .hl .sb { color: #A3BE8C }
html.dark .dk-prose .hl .sc { color: #A3BE8C }
html.dark .dk-prose .hl .dl { color: #A3BE8C }
html.dark .dk-prose .hl .sd { color: #616E87 }
html.dark .dk-prose .hl .s2 { color: #A3BE8C }
html.dark .dk-prose .hl .se { color: #EBCB8B }
html.dark .dk-prose .hl .sh { color: #A3BE8C }
html.dark .dk-prose .hl .si { color: #A3BE8C }
html.dark .dk-prose .hl .sx { color: #A3BE8C }
html.dark .dk-prose .hl .sr { color: #EBCB8B }
html.dark .dk-prose .hl .s1 { color: #A3BE8C }
html.dark .dk-prose .hl .ss { color: #A3BE8C }
html.dark .dk-prose .hl .bp { color: #81A1C1 }
html.dark .dk-prose .hl .fm { color: #88C0D0 }
html.dark .dk-prose .hl .vc { color: #D8DEE9 }
html.dark .dk-prose .hl .vg { color: #D8DEE9 }
html.dark .dk-prose .hl .vi { color: #D8DEE9 }
html.dark .dk-prose .hl .vm { color: #D8DEE9 }
html.dark .dk-prose .hl .il { color: #B48EAD }