Andreas Dangel f980c1f17b
[doc] Make side fixed only for big screens
Also wrap the inline-toc in an accordion to
save some space.
Remove some of the unneeded javascript.

Fixes #4521
2023-08-10 17:30:06 +02:00
..
2020-09-19 20:21:53 +02:00