From 5cba1d89f299d1a34b2622b5386c013db156d0a1 Mon Sep 17 00:00:00 2001
From: Chris Simpkins <git.simpkins@gmail.com>
Date: Mon, 20 Apr 2020 13:35:33 -0400
Subject: [PATCH] [docs/source/conf.py] update sphinx docs build config

---
 Doc/source/conf.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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 ----------------------------------------------