/* Auto-generated syntax highlighting theme: dark */
.hl-theme-dark .hl-keyword { color: #ff7b72; }
.hl-theme-dark .hl-type { color: #d2a8ff; }
.hl-theme-dark .hl-string { color: #a5d6ff; }
.hl-theme-dark .hl-comment { color: #8b949e; font-style: italic; }
.hl-theme-dark .hl-number { color: #79c0ff; }
.hl-theme-dark .hl-operator { color: #c9d1d9; }
.hl-theme-dark .hl-function { color: #d2a8ff; }