diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index eef8f4c1c6..dd369b19d1 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -27,7 +27,7 @@ release = version # The full version, including alpha/beta/rc tags. # Syntax highlighting highlight_language = 'haskell' -pygments_style = 'colorful' +pygments_style = 'tango' # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. |