1 commit

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