The recent change from Prettify to highlight.js lead to surprising changes in code rendering.
Is there a simple way to customize the theme colors beyond the light/dark switch?
highlight.js comes with a slew of predefined style choices (98 in the src/styles
directory). Style is obviously a matter of personal taste, well suited for a tab in users/preferences
but I did not find it.
Did I miss a configuration option or is there a preferred way to customize the theme?