Hi Jon, On Fri, 20 Jan 2023 23:09:34 +0900, Akira Yokosawa wrote: ... > > I have mostly the same list of possible improvements. > > As for the "where am I?" syndrome, it would be helpful if the sidebar > could be scrolled independently. > > I'd really like to suggest some code changes, but unable to do so. There is a related question at stackoverflow [1]. The CSS tweak mentioned in its answer works like a charm. Can you try the changes below on top of this RFC patch? [1]: https://stackoverflow.com/questions/57031848/sphinx-alabaster-theme-scroll-inside-of-fixed-sidebar Thanks, Akira ------------------------------- diff --git a/Documentation/conf.py b/Documentation/conf.py index 233f2f585143..6c8ccf3095ac 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -328,6 +328,7 @@ if html_theme == 'alabaster': 'description': get_cline_version(), 'page_width': '65em', 'sidebar_width': '15em', + 'fixed_sidebar': 'true', 'font_size': 'inherit', 'font_family': 'serif', } diff --git a/Documentation/sphinx-static/custom.css b/Documentation/sphinx-static/custom.css index 1ad0899bc8f1..3ec27edeb394 100644 --- a/Documentation/sphinx-static/custom.css +++ b/Documentation/sphinx-static/custom.css @@ -11,7 +11,7 @@ div.body h3 { font-size: 130%; } /* Tighten up the layout slightly */ div.body { padding: 0 15px 0 10px; } div.sphinxsidebarwrapper { padding: 1em 0.4em; } -div.sphinxsidebar { font-size: inherit; } +div.sphinxsidebar { font-size: inherit; max-height: 100%; overflow-y: auto; } /* Tweak document margins and don't force width */ div.document { margin: 20px 10px 0 10px;
