Closed Deleplace closed 1 year ago
Current: dark text / bright background
Desired: bright text / dark background
We currently rely on code-prettify, which is not maintained anymore: #212
Replaced code-prettify with highlight.js
Current: dark text / bright background
Desired: bright text / dark background