From edfa6746c67fd03bdcca48f1864fa4ca7d53be70 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Tue, 2 Mar 2021 16:50:10 +0100 Subject: [PATCH] docs: Move pygments css --- doc_src/conf.py | 2 +- doc_src/{_static => python_docs_theme/static}/pygments.css | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename doc_src/{_static => python_docs_theme/static}/pygments.css (100%) diff --git a/doc_src/conf.py b/doc_src/conf.py index 78cc66a99..369dca0de 100644 --- a/doc_src/conf.py +++ b/doc_src/conf.py @@ -148,7 +148,7 @@ html_copy_source = False # 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"] # Custom sidebar templates, must be a dictionary that maps document names # to template names. diff --git a/doc_src/_static/pygments.css b/doc_src/python_docs_theme/static/pygments.css similarity index 100% rename from doc_src/_static/pygments.css rename to doc_src/python_docs_theme/static/pygments.css