Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix docs for configuring pygments themes #682

Merged
merged 1 commit into from May 28, 2022
Merged

Conversation

philippjfr
Copy link
Contributor

@philippjfr philippjfr commented May 28, 2022

They are configured as part of the html_theme_options not in the html_context. See

# check the theme specified in the theme options
theme_options = app.config["html_theme_options"]
pygments_styles = list(get_all_styles())
light_theme = theme_options.get("pygment_light_style", default_light_theme)
for reference.

@jarrodmillman jarrodmillman added this to the 0.9 milestone May 28, 2022
@jarrodmillman jarrodmillman added the kind: documentation Improvements or additions to documentation label May 28, 2022
Copy link
Collaborator

@choldgraf choldgraf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch 🙏

@choldgraf choldgraf merged commit 2687e8b into pydata:main May 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants