Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Account for Sphinx 4 changes in pygments CSS files
Sphinx 4 changes the handling of pygments-related CSS files, including the .css file directly in `css_files`. This breaks dark mode syntax highlighting since pygments.css file is now included twice -- once before the pygments_dark.css and once after. This break the whole mechanism, since the highlighting is sentitive to the ordering of those files being included, due to how Sphinx generates those files. This change works around the issue, by adding the pygments_dark.css file after both the pygments.css files.
- Loading branch information