diff --git a/Doc/source/conf.py b/Doc/source/conf.py index d22a57da8..bd89fa127 100644 --- a/Doc/source/conf.py +++ b/Doc/source/conf.py @@ -73,10 +73,11 @@ language = None exclude_patterns = [] # The name of the Pygments (syntax highlighting) style to use. -pygments_style = "sphinx" +# pygments_style = "sphinx" (the default sphinx docs style on RTD) +pygments_style = "paraiso-dark" # If true, `todo` and `todoList` produce output, else they produce nothing. -todo_include_todos = False +todo_include_todos = True # -- Options for HTML output ----------------------------------------------