docs: conf: Add _static directory

docs/conf.py

  Enable serving resources from docs/_static/

.ci/run.sh

  Ignore files in docs/_static/

Signed-off-by: John Andersen <[email protected]>

Author: pdxjohnny

.ci/run.sh

@@ -184,7 +184,7 @@ function run_whitespace() {
 function run_style() {
   black --check "${SRC_ROOT}"
 
-  for filename in $(git ls-files \*.js); do
+  for filename in $(git ls-files \*.js | grep -v docs/_static/); do
     echo "Checking JavaScript file \'${filename}\'"
     diff <(js-beautify -n -s 2 "${filename}") "${filename}"
   done

docs/conf.py

@@ -97,6 +97,11 @@
     "display_github": True,
 }
 
+# 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"]
+
 
 def setup(app):
     app.add_js_file("copybutton.js")