src/source/conf.py
branchdoc-dc
changeset 61 cfb7276fdd33
parent 56 60a1fbdbbed3
child 104 942151432421
--- a/src/source/conf.py	Tue May 15 18:31:37 2018 +0200
+++ b/src/source/conf.py	Wed May 16 12:00:26 2018 +0200
@@ -115,10 +115,7 @@
 exclude_patterns = []
 
 # The name of the Pygments (syntax highlighting) style to use.
-pygments_style = 'sphinx'
-
-# The default language to highlight source code in.
-highlight_language = 'python3'
+pygments_style = 'default'
 
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = False