/* Can override the theme's syntax-theme-dark.css */