Dark mode: use monokai style from pygments

Fix #152
This commit is contained in:
Klaas van Schelven
2025-07-17 09:45:22 +02:00
parent 99f782f4e3
commit 45ad2aceec
3 changed files with 88 additions and 3 deletions

File diff suppressed because one or more lines are too long