From fd49dfa5727ad739763c43dd11711b6cde4a97f1 Mon Sep 17 00:00:00 2001 From: Victor Feyens Date: Tue, 16 Feb 2021 16:13:45 +0100 Subject: [PATCH] Revert "[POC] disable 'odoo' pygments style" This reverts commit 3838bb93fb753d862405eb73cd652d18cc935379. --- conf.py | 2 +- extensions/odoo_theme/__init__.py | 2 +- extensions/odoo_theme/theme.conf | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/conf.py b/conf.py index 32d25eee4..5ee05a122 100644 --- a/conf.py +++ b/conf.py @@ -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'] diff --git a/extensions/odoo_theme/__init__.py b/extensions/odoo_theme/__init__.py index 2a40fda53..c9dc239b7 100644 --- a/extensions/odoo_theme/__init__.py +++ b/extensions/odoo_theme/__init__.py @@ -1,4 +1,4 @@ -# from . import pygments_override +from . import pygments_override from . import translator import sphinx.builders.html diff --git a/extensions/odoo_theme/theme.conf b/extensions/odoo_theme/theme.conf index 72dc300d2..cdac6eeaf 100644 --- a/extensions/odoo_theme/theme.conf +++ b/extensions/odoo_theme/theme.conf @@ -1,4 +1,4 @@ [theme] inherit = basic stylesheet = style.css -# pygments_style = odoo +pygments_style = odoo