Dmytro Kozlov 7498d139ca docs: add scroll to the selected element (#4508) ... * docs: add scroll to the selected element * docs: scroll to root if element not found * docs: simplify code * docs: code cleanup * docs: fix comments (fix code formatting, check element only inside sidebar container)		2023-07-06 21:48:53 -07:00
..
extra	docs: add scroll to the selected element (#4508)	2023-07-06 21:48:53 -07:00