From 3ee6f6b0b2768a81bad163289df81117dd3cc348 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Fri, 7 Apr 2023 09:25:51 +0200 Subject: [PATCH 1/2] Doc: Reset max-width for contents --- docs/_static/css/custom.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css index 223f409c2084..f0577b0db348 100644 --- a/docs/_static/css/custom.css +++ b/docs/_static/css/custom.css @@ -289,8 +289,7 @@ a:hover { } .wy-nav-content { - max-width: unset; - height: 100vh; + min-height: 100vh; overflow-y: auto; overflow-x: hidden; } -- GitLab From 81239d6e522ad4bfccd2a6709d6cde018a8dfcdf Mon Sep 17 00:00:00 2001 From: Nic Volanschi Date: Tue, 11 Apr 2023 10:18:03 +0200 Subject: [PATCH 2/2] doc: make the left menu scroll indepedently --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index bfd968391e7f..fce41af58419 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -115,7 +115,7 @@ html_theme = "sphinx_rtd_theme" # further. For a list of options available for each theme, see the # documentation. # -html_theme_options = {'logo_only': True} +html_theme_options = {'logo_only': True, 'sticky_navigation': False} html_logo = "logo.svg" # 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, -- GitLab