Vasek Mlejnsky cb04d5e841 Put scrollbar on on the inner side of the sidebar in docs (#460) ...

before:
<img width="1912" alt="Screenshot 2024-10-17 at 17 05 00"
src="https://github.com/user-attachments/assets/fb8377c7-779f-4ad7-a199-041e249efcf9">

after:
<img width="1912" alt="Screenshot 2024-10-17 at 17 05 09"
src="https://github.com/user-attachments/assets/6763c206-07a6-4769-b45d-43806c12da66">

2024-10-17 16:44:30 -07:00

..

web

Put scrollbar on on the inner side of the sidebar in docs (#460)

2024-10-17 16:44:30 -07:00