Add missing .css extension to stylesheet file name

rouskinlab · Aug 8, 2024 · 566afdd · 566afdd
1 parent 2327ad0
commit 566afdd
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/userdocs/make.sh b/src/userdocs/make.sh
@@ -39,10 +39,11 @@ touch $BUILD_DIR/.nojekyll
 # Build the GitHub Pages files from the source files.
 sphinx-build -b html $DOCSRC_DIR $BUILD_DIR
 
-# Change the color of the upper left sidebar from the default (#2980b9).
+# Change the color of the upper left sidebar from the default (#2980b9)
+# to the shade of blue in the logo (#2186d9).
 DEFAULT_NAV_BACKGROUND="#2980b9"
 CUSTOM_NAV_BACKGROUND="#2186d9"
 for STYLESHEET in theme badge_only
 do
-  sed -i "s/$DEFAULT_NAV_BACKGROUND/$CUSTOM_NAV_BACKGROUND/g" $BUILD_DIR/_static/css/$STYLESHEET
+  sed -i "s/$DEFAULT_NAV_BACKGROUND/$CUSTOM_NAV_BACKGROUND/g" $BUILD_DIR/_static/css/$STYLESHEET.css
 done