Use IntersectionObserver for side tree in documentation#5832

evnchn wants to merge 2 commits intozauberzeug:mainzauberzeug/nicegui:mainfrom

evnchn:intersection-treeevnchn/nicegui:intersection-treeCopy head branch name to clipboard