|
edit.html
|
theme: broadly renaming template files #891
|
2024-10-11 16:45:40 +02:00 |
|
markdown.html
|
markdown: support new output format #979
|
2024-12-31 14:32:47 +01:00 |
|
more.html
|
topbar: allow text for button 739
|
2023-12-05 08:40:58 +01:00 |
|
next.html
|
topbar: streamline button configuration #978
|
2024-12-31 14:12:40 +01:00 |
|
prev.html
|
topbar: streamline button configuration #978
|
2024-12-31 14:12:40 +01:00 |
|
print.html
|
topbar: improve print button configuration #978
|
2024-12-31 14:11:55 +01:00 |
|
sidebar.html
|
topbar: allow text for button 739
|
2023-12-05 08:40:58 +01:00 |
|
toc.html
|
topbar: streamline button configuration #978
|
2024-12-31 14:12:40 +01:00 |
