Mike Fährmann 6dac43ad60 [docs] replace AnchorJS with custom script ...

use it in rendered .rst documents as well as in .md ones

2024-04-13 17:53:04 +02:00

..

default.html

[docs] replace AnchorJS with custom script

2024-04-13 17:53:04 +02:00