# HG changeset patch
# User Damien Correia
# Date 1526472403 -7200
# Node ID dc2bd8068d7a173e867f5579be9ca1c345631fbc
# Parent  cfb7276fdd33a5a765111e13d0cd9c071b26c7eb# Parent  e7d62e94392f36b221cac5ae7fa657afbf997879
merge default

diff -r e7d62e94392f -r dc2bd8068d7a src/source/conf.py
--- a/src/source/conf.py	Wed May 16 14:03:44 2018 +0200
+++ b/src/source/conf.py	Wed May 16 14:06:43 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