4 commits

Author	SHA1	Message	Date
Thomas Waldmann	9a02947d40	docs: move RTD version selector to sidebar top-left ... That way, right below the docs version number that is currently being displayed, it is easier to find for users. Also: hide the default readthedocs-flyout (bottom right) Co-authored-by: Junie <junie@jetbrains.com> Co-authored-by: Junie <junie@jetbrains.com>	2026-03-02 20:46:26 +01:00
Thomas Waldmann	3120f9cd1c	fixed typos and grammar (AI) ... this was done by Junie AI.	2025-09-23 14:56:23 +02:00
Thomas Waldmann	c14e803429	docs: fix template to support search result preview	2025-04-10 21:20:37 +02:00
Thomas Waldmann	30e9bc9d83	docs: add layout.html template from guzzle_sphinx_theme 0.7.11	2025-04-10 21:19:15 +02:00