summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2019-09-19 14:08:45 +0200
committerAndrey Andreev <narf@devilix.net>2019-09-19 14:08:45 +0200
commitb73eb19aed66190c10c9cad476da7c36c271d6dc (patch)
treeb3d5d4f960569c30701934416d6d51628bde81a7 /user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf
parent6e052d80b95b9332ed592cdc3431b5f9dc8dd250 (diff)
[ci skip] 3.1.11 release
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf')
-rw-r--r--user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf8
1 files changed, 0 insertions, 8 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf b/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf
deleted file mode 100644
index 5814ac963..000000000
--- a/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf
+++ /dev/null
@@ -1,8 +0,0 @@
-[theme]
-inherit = basic
-stylesheet = css/citheme.css
-
-[options]
-typekit_id = hiw1hhg
-analytics_id =
-sticky_navigation = False