diff options
Diffstat (limited to 'manual/conf.py')
| -rw-r--r-- | manual/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/conf.py b/manual/conf.py index 32800305..37e00395 100644 --- a/manual/conf.py +++ b/manual/conf.py @@ -15,3 +15,4 @@ html_theme = 'nature' html_theme_options = { "body_max_width": None, } +highlight_language = 'none' |