From a1edb83f1ff66f540212fb4f668a94431fbcb962 Mon Sep 17 00:00:00 2001
From: Michael Zingale <michael.zingale@stonybrook.edu>
Date: Fri, 25 Aug 2023 15:42:48 -0400
Subject: [PATCH] fix the sphinx css includes this syncs up with Castro

---
 sphinx_docs/source/conf.py | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/sphinx_docs/source/conf.py b/sphinx_docs/source/conf.py
index 6738d8bc7d..718fe60967 100644
--- a/sphinx_docs/source/conf.py
+++ b/sphinx_docs/source/conf.py
@@ -150,13 +150,7 @@ def get_version():
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
-html_context = {
-    'css_files': [
-        '_static/theme_overrides.css',  # override wide tables in RTD theme
-        '_static/css/theme.css',
-        '_static/pygments.css'
-        ],
-     }
+html_css_files = ["theme_overrides.css"]
 
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.