diff options
Diffstat (limited to 'common/sphinx_rtd_theme/theme.conf')
| -rw-r--r-- | common/sphinx_rtd_theme/theme.conf | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/common/sphinx_rtd_theme/theme.conf b/common/sphinx_rtd_theme/theme.conf deleted file mode 100644 index 3896d4d..0000000 --- a/common/sphinx_rtd_theme/theme.conf +++ /dev/null @@ -1,11 +0,0 @@ -[theme] -inherit = basic -stylesheet = css/theme.css - -[options] -typekit_id = hiw1hhg -analytics_id = -sticky_navigation = False -logo_only = -collapse_navigation = False -display_version = True |