|
css
|
Distinguish links from content on printout
|
2020-10-05 16:14:49 +02:00 |
|
fonts
|
[ImgBot] Optimize images
|
2020-02-01 22:50:45 +00:00 |
|
images
|
[ImgBot] Optimize images
|
2020-02-01 22:50:45 +00:00 |
|
js
|
Remove code that adjusts navigation margin (#419)
|
2020-09-10 17:21:20 +01:00 |
|
mermaid
|
Customize mermaid module (#362)
|
2020-09-11 14:57:25 +01:00 |
|
webfonts
|
[ImgBot] Optimize images
|
2020-02-01 22:50:45 +00:00 |
