The table of contents is now scrollable by mouse wheel if it's too long, example:
<div class="col-lg-3 d-none d-xl-flex" id="tableofcontents">
and then styling this in the General Custom Properties, like this:
I had to ask my friend who is developer to figure this out because it was beyond my knowledge but now it's perfect. I think that this functionality could well be added to the theme by default.
The second thing is this:
Again, halfmoon theme:
If there's a long table of contents on the page like here, for instance:
Would it be possible for the table of contents / right sidebar to scroll down (using a mouse wheel) when you hover your mouse over it?