|
plugins
|
keyboard access + direct link scrolling
|
2017-05-02 16:29:02 +02:00 |
|
anchor.js
|
easier anchor linking
|
2020-11-19 12:35:24 +01:00 |
|
direct.js
|
Remove obsolete JavaScript
|
2024-10-14 14:37:40 +02:00 |
|
meta-box.js
|
Sticky meta tabs (TOC etc.)
|
2020-01-22 12:01:35 +01:00 |
