/* Token colors for highlighted <pre> on topic pages. Terminal theme. */
pre.hl .hl-kw{color:var(--pass);}
pre.hl .hl-com{color:var(--muted);font-style:italic;}
pre.hl .hl-str{color:var(--ink);}
pre.hl .hl-type{color:var(--signal);}
pre.hl .hl-fn{color:var(--signal);}