Skip to content

Conversation

@mgeier
Copy link
Contributor

@mgeier mgeier commented Oct 20, 2020

The style provided by the HTML theme should be fine.

@choldgraf choldgraf changed the title DOC: Disable pygments_style setting 📚 DOCS: Disable pygments_style setting Oct 20, 2020
@choldgraf choldgraf merged commit 165e05d into executablebooks:master Oct 20, 2020
@choldgraf
Copy link
Member

thanks!

@mgeier mgeier deleted the doc-no-pygments-style branch October 20, 2020 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants