Move Sphinx docs css customizations

The theme is no longer bundled, so the custom.css file needs to be in a static directory, where it will be applied after everything is built.
Uninett · Aug 30, 2023 · ad6a443 · ad6a443
1 parent f10a79f
commit ad6a443
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/doc/templates/bootstrap/static/custom.css → doc/_static/custom.css b/doc/templates/bootstrap/static/custom.css → doc/_static/custom.css
diff --git a/doc/conf.py b/doc/conf.py
@@ -188,7 +188,7 @@
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-# html_static_path = ['_static']
+html_static_path = ['_static']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.