IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix mypy type error

Browse Source
This commit is contained in:
Septatrix 2020-03-08 15:31:52 +01:00
parent 9dd866263e
commit ced9fef2dc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sphinx/builders/html/__init__.py
View File

@ -289,7 +289,7 @@ class StandaloneHTMLBuilder(Builder):
if self.config.html_pygments_aux_styles is not None:
aux_styles = self.config.html_pygments_aux_styles
elif self.theme and self.theme.config.has_section('auxiliary_styles'):
aux_styles = self.theme.config.items('options')
aux_styles = dict(self.theme.config.items('options'))
for style, css_selector in aux_styles.items():
self.aux_highlighters[style] = (PygmentsBridge('html', style), css_selector)