From: Vladimír Vondruš Date: Thu, 5 Dec 2019 19:05:26 +0000 (+0100) Subject: doc update the Pygments CSS generation snippet for Py 3.8. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=6eefd92c2aa3e0a257503d31b1a469867dfff8b6;p=blog.git doc update the Pygments CSS generation snippet for Py 3.8. --- diff --git a/doc/css/themes.rst b/doc/css/themes.rst index 3f7164e6..cff7a89b 100644 --- a/doc/css/themes.rst +++ b/doc/css/themes.rst @@ -136,10 +136,10 @@ then generate a CSS file out of it: .. code:: sh - sudo cp pygments-dark.py /usr/lib/python3.6/site-packages/pygments/styles/dark.py + sudo cp pygments-dark.py /usr/lib/python3.8/site-packages/pygments/styles/dark.py pygmentize -f html -S dark -a .m-code > pygments-dark.css - sudo cp pygments-console.py /usr/lib/python3.6/site-packages/pygments/styles/console.py + sudo cp pygments-console.py /usr/lib/python3.8/site-packages/pygments/styles/console.py pygmentize -f html -S console -a .m-console > pygments-console.css Alternatively, you can use any of the builtin styles --- pick the one you like