font-awesome
|
Upgrade Font Awesome to 5.13.0
|
2020-04-14 16:48:22 +02:00 |
pygments
|
Update pygments.
|
2019-10-19 21:54:25 +02:00 |
stylesheet
|
Add support for admonitions (#191)
|
2020-02-07 18:03:35 +01:00 |
tipuesearch
|
Add tipue search integration (#193)
|
2020-02-07 18:06:17 +01:00 |