diff -r 33c8e14078d7 -r ab51f4b614c4 src/source/conf.py
--- a/src/source/conf.py	Fri May 18 11:24:52 2018 +0200
+++ b/src/source/conf.py	Fri May 18 11:27:11 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