Understood, thanks. I did try searching for it first, and did find stylesheets in `app.asar`, including ".markdown-body pre code" sections... but not the colour codes specifically you were using, so hoped they might be parameterized and generated somewhere.

I don't suppose there could be an option in the GUI to choose a custom stylesheet to append to exported HTML -- at the user's own risk -- so I don't have to hand-hack the output or have a script postprocess it? :)