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

..

customscripts.js

[doc] Make side fixed only for big screens

2023-08-10 17:30:06 +02:00

shuffle.js

[doc] Upgrade Shuffle

2020-09-19 20:21:53 +02:00

tabstate.js

Merge branch 'master' into pmd/7.0.x

2022-03-24 15:15:55 +01:00