From 6913148d994f6595e9c5ee67fca3f6fd6b0e46c5 Mon Sep 17 00:00:00 2001 From: gd Date: Wed, 9 Nov 2022 09:35:59 +0200 Subject: [PATCH] Docs: changed sphinx theme from classic to sphinx_rtd_theme Dependency: pip install sphinx-rtd-theme --- doc/_static/css/custom.css | 10 +++------- doc/conf.py | 10 ++++++++-- 2 files changed, 11 insertions(+), 9 deletions(-) diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css index e592ae91a..a0c302705 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -1,7 +1,3 @@ -div.body p, div.body dd, div.body li, div.body blockquote { - text-align: left !important; - -moz-hyphens: manual; - -ms-hyphens: manual; - -webkit-hyphens: manual; - hyphens: manual; -} +/* + * css to override sphinx theme + */ \ No newline at end of file diff --git a/doc/conf.py b/doc/conf.py index d5514aadd..b4fd57cbd 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -103,14 +103,20 @@ todo_include_todos = False # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # -html_theme = 'classic' +html_theme = 'sphinx_rtd_theme' # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. # # html_theme_options = {} -html_theme_options = {"sidebarwidth": "300px"} +html_theme_options = { + 'navigation_depth': -1, + 'sticky_navigation': False, + 'includehidden': True, + 'prev_next_buttons_location': 'both', + 'github_url': "https://github.com/MusicPlayerDaemon/" +} # Add any paths that contain custom themes here, relative to this directory. # html_theme_path = []