Closed carstene1ns closed 3 years ago
oh that is nice :). The only nit I have is that in the code blocks the text after the comment (#) is hard to read (bad contrast)
Yeah, that is the monokai theme. I am open to suggestions (all pygments themes are supported, e.g. https://stylishthemes.github.io/Syntax-Themes/pygments/)
I have kinda bad color vision but Github Dark looks good to me. Sufficient contrast for me.
jenkins: test this please (somehow my job changes have been lost)
somehow my job changes have been lost
Strange. Didn't touch anything.
Lgtm
make
)