html:not(.dark) .dk-prose .hl { background: #f8f8f8; }
html:not(.dark) .dk-prose .hl .c { color: #3D7B7B; font-style: italic }
html:not(.dark) .dk-prose .hl .err { border: 1px solid #F00 }
html:not(.dark) .dk-prose .hl .k { color: #008000; font-weight: bold }
html:not(.dark) .dk-prose .hl .o { color: #666 }
html:not(.dark) .dk-prose .hl .ch { color: #3D7B7B; font-style: italic }
html:not(.dark) .dk-prose .hl .cm { color: #3D7B7B; font-style: italic }
html:not(.dark) .dk-prose .hl .cp { color: #9C6500 }
html:not(.dark) .dk-prose .hl .cpf { color: #3D7B7B; font-style: italic }
html:not(.dark) .dk-prose .hl .c1 { color: #3D7B7B; font-style: italic }
html:not(.dark) .dk-prose .hl .cs { color: #3D7B7B; font-style: italic }
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: #E40000 }
html:not(.dark) .dk-prose .hl .gh { color: #000080; font-weight: bold }
html:not(.dark) .dk-prose .hl .gi { color: #008400 }
html:not(.dark) .dk-prose .hl .go { color: #717171 }
html:not(.dark) .dk-prose .hl .gp { color: #000080; 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: #008000; font-weight: bold }
html:not(.dark) .dk-prose .hl .kd { color: #008000; font-weight: bold }
html:not(.dark) .dk-prose .hl .kn { color: #008000; font-weight: bold }
html:not(.dark) .dk-prose .hl .kp { color: #008000 }
html:not(.dark) .dk-prose .hl .kr { color: #008000; font-weight: bold }
html:not(.dark) .dk-prose .hl .kt { color: #B00040 }
html:not(.dark) .dk-prose .hl .m { color: #666 }
html:not(.dark) .dk-prose .hl .s { color: #BA2121 }
html:not(.dark) .dk-prose .hl .na { color: #687822 }
html:not(.dark) .dk-prose .hl .nb { color: #008000 }
html:not(.dark) .dk-prose .hl .nc { color: #00F; font-weight: bold }
html:not(.dark) .dk-prose .hl .no { color: #800 }
html:not(.dark) .dk-prose .hl .nd { color: #A2F }
html:not(.dark) .dk-prose .hl .ni { color: #717171; font-weight: bold }
html:not(.dark) .dk-prose .hl .ne { color: #CB3F38; font-weight: bold }
html:not(.dark) .dk-prose .hl .nf { color: #00F }
html:not(.dark) .dk-prose .hl .nl { color: #767600 }
html:not(.dark) .dk-prose .hl .nn { color: #00F; font-weight: bold }
html:not(.dark) .dk-prose .hl .nt { color: #008000; font-weight: bold }
html:not(.dark) .dk-prose .hl .nv { color: #19177C }
html:not(.dark) .dk-prose .hl .ow { color: #A2F; font-weight: bold }
html:not(.dark) .dk-prose .hl .w { color: #BBB }
html:not(.dark) .dk-prose .hl .mb { color: #666 }
html:not(.dark) .dk-prose .hl .mf { color: #666 }
html:not(.dark) .dk-prose .hl .mh { color: #666 }
html:not(.dark) .dk-prose .hl .mi { color: #666 }
html:not(.dark) .dk-prose .hl .mo { color: #666 }
html:not(.dark) .dk-prose .hl .sa { color: #BA2121 }
html:not(.dark) .dk-prose .hl .sb { color: #BA2121 }
html:not(.dark) .dk-prose .hl .sc { color: #BA2121 }
html:not(.dark) .dk-prose .hl .dl { color: #BA2121 }
html:not(.dark) .dk-prose .hl .sd { color: #BA2121; font-style: italic }
html:not(.dark) .dk-prose .hl .s2 { color: #BA2121 }
html:not(.dark) .dk-prose .hl .se { color: #AA5D1F; font-weight: bold }
html:not(.dark) .dk-prose .hl .sh { color: #BA2121 }
html:not(.dark) .dk-prose .hl .si { color: #A45A77; font-weight: bold }
html:not(.dark) .dk-prose .hl .sx { color: #008000 }
html:not(.dark) .dk-prose .hl .sr { color: #A45A77 }
html:not(.dark) .dk-prose .hl .s1 { color: #BA2121 }
html:not(.dark) .dk-prose .hl .ss { color: #19177C }
html:not(.dark) .dk-prose .hl .bp { color: #008000 }
html:not(.dark) .dk-prose .hl .fm { color: #00F }
html:not(.dark) .dk-prose .hl .vc { color: #19177C }
html:not(.dark) .dk-prose .hl .vg { color: #19177C }
html:not(.dark) .dk-prose .hl .vi { color: #19177C }
html:not(.dark) .dk-prose .hl .vm { color: #19177C }
html:not(.dark) .dk-prose .hl .il { color: #666 }
html.dark .dk-prose .hl { background: #0d1117; color: #E6EDF3 }
html.dark .dk-prose .hl .c { color: #8B949E; font-style: italic }
html.dark .dk-prose .hl .err { color: #F85149 }
html.dark .dk-prose .hl .esc { color: #E6EDF3 }
html.dark .dk-prose .hl .g { color: #E6EDF3 }
html.dark .dk-prose .hl .k { color: #FF7B72 }
html.dark .dk-prose .hl .l { color: #A5D6FF }
html.dark .dk-prose .hl .n { color: #E6EDF3 }
html.dark .dk-prose .hl .o { color: #FF7B72; font-weight: bold }
html.dark .dk-prose .hl .x { color: #E6EDF3 }
html.dark .dk-prose .hl .p { color: #E6EDF3 }
html.dark .dk-prose .hl .ch { color: #8B949E; font-style: italic }
html.dark .dk-prose .hl .cm { color: #8B949E; font-style: italic }
html.dark .dk-prose .hl .cp { color: #8B949E; font-weight: bold; font-style: italic }
html.dark .dk-prose .hl .cpf { color: #8B949E; font-style: italic }
html.dark .dk-prose .hl .c1 { color: #8B949E; font-style: italic }
html.dark .dk-prose .hl .cs { color: #8B949E; font-weight: bold; font-style: italic }
html.dark .dk-prose .hl .gd { color: #FFA198; background-color: #490202 }
html.dark .dk-prose .hl .ge { color: #E6EDF3; font-style: italic }
html.dark .dk-prose .hl .ges { color: #E6EDF3; font-weight: bold; font-style: italic }
html.dark .dk-prose .hl .gr { color: #FFA198 }
html.dark .dk-prose .hl .gh { color: #79C0FF; font-weight: bold }
html.dark .dk-prose .hl .gi { color: #56D364; background-color: #0F5323 }
html.dark .dk-prose .hl .go { color: #8B949E }
html.dark .dk-prose .hl .gp { color: #8B949E }
html.dark .dk-prose .hl .gs { color: #E6EDF3; font-weight: bold }
html.dark .dk-prose .hl .gu { color: #79C0FF }
html.dark .dk-prose .hl .gt { color: #FF7B72 }
html.dark .dk-prose .hl .g-Underline { color: #E6EDF3; text-decoration: underline }
html.dark .dk-prose .hl .kc { color: #79C0FF }
html.dark .dk-prose .hl .kd { color: #FF7B72 }
html.dark .dk-prose .hl .kn { color: #FF7B72 }
html.dark .dk-prose .hl .kp { color: #79C0FF }
html.dark .dk-prose .hl .kr { color: #FF7B72 }
html.dark .dk-prose .hl .kt { color: #FF7B72 }
html.dark .dk-prose .hl .ld { color: #79C0FF }
html.dark .dk-prose .hl .m { color: #A5D6FF }
html.dark .dk-prose .hl .s { color: #A5D6FF }
html.dark .dk-prose .hl .na { color: #E6EDF3 }
html.dark .dk-prose .hl .nb { color: #E6EDF3 }
html.dark .dk-prose .hl .nc { color: #F0883E; font-weight: bold }
html.dark .dk-prose .hl .no { color: #79C0FF; font-weight: bold }
html.dark .dk-prose .hl .nd { color: #D2A8FF; font-weight: bold }
html.dark .dk-prose .hl .ni { color: #FFA657 }
html.dark .dk-prose .hl .ne { color: #F0883E; font-weight: bold }
html.dark .dk-prose .hl .nf { color: #D2A8FF; font-weight: bold }
html.dark .dk-prose .hl .nl { color: #79C0FF; font-weight: bold }
html.dark .dk-prose .hl .nn { color: #FF7B72 }
html.dark .dk-prose .hl .nx { color: #E6EDF3 }
html.dark .dk-prose .hl .py { color: #79C0FF }
html.dark .dk-prose .hl .nt { color: #7EE787 }
html.dark .dk-prose .hl .nv { color: #79C0FF }
html.dark .dk-prose .hl .ow { color: #FF7B72; font-weight: bold }
html.dark .dk-prose .hl .pm { color: #E6EDF3 }
html.dark .dk-prose .hl .w { color: #6E7681 }
html.dark .dk-prose .hl .mb { color: #A5D6FF }
html.dark .dk-prose .hl .mf { color: #A5D6FF }
html.dark .dk-prose .hl .mh { color: #A5D6FF }
html.dark .dk-prose .hl .mi { color: #A5D6FF }
html.dark .dk-prose .hl .mo { color: #A5D6FF }
html.dark .dk-prose .hl .sa { color: #79C0FF }
html.dark .dk-prose .hl .sb { color: #A5D6FF }
html.dark .dk-prose .hl .sc { color: #A5D6FF }
html.dark .dk-prose .hl .dl { color: #79C0FF }
html.dark .dk-prose .hl .sd { color: #A5D6FF }
html.dark .dk-prose .hl .s2 { color: #A5D6FF }
html.dark .dk-prose .hl .se { color: #79C0FF }
html.dark .dk-prose .hl .sh { color: #79C0FF }
html.dark .dk-prose .hl .si { color: #A5D6FF }
html.dark .dk-prose .hl .sx { color: #A5D6FF }
html.dark .dk-prose .hl .sr { color: #79C0FF }
html.dark .dk-prose .hl .s1 { color: #A5D6FF }
html.dark .dk-prose .hl .ss { color: #A5D6FF }
html.dark .dk-prose .hl .bp { color: #E6EDF3 }
html.dark .dk-prose .hl .fm { color: #D2A8FF; font-weight: bold }
html.dark .dk-prose .hl .vc { color: #79C0FF }
html.dark .dk-prose .hl .vg { color: #79C0FF }
html.dark .dk-prose .hl .vi { color: #79C0FF }
html.dark .dk-prose .hl .vm { color: #79C0FF }
html.dark .dk-prose .hl .il { color: #A5D6FF }