Revert "[POC] disable 'odoo' pygments style"

This reverts commit 3838bb93fb.
This commit is contained in:
Victor Feyens 2021-02-16 16:13:45 +01:00
parent a832ef8a87
commit fd49dfa572
3 changed files with 3 additions and 3 deletions

View File

@ -147,7 +147,7 @@ redirects_file = '../redirects.txt'
html_theme = 'odoo_theme'
# The name of the Pygments (syntax highlighting) style to use.
# pygments_style = 'odoo'
pygments_style = 'odoo'
# Add any paths that contain custom themes here, relative to this directory.
html_theme_path = ['extensions']

View File

@ -1,4 +1,4 @@
# from . import pygments_override
from . import pygments_override
from . import translator
import sphinx.builders.html

View File

@ -1,4 +1,4 @@
[theme]
inherit = basic
stylesheet = style.css
# pygments_style = odoo
pygments_style = odoo