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
..
css	docs: move RTD version selector to sidebar top-left	2026-03-02 20:46:26 +01:00