|
dark-theme
|
Rename files
|
2020-04-20 23:19:01 +02:00 |
|
font-awesome
|
Upgrade Font Awesome to 5.13.0
|
2020-04-14 16:48:22 +02:00 |
|
isso
|
Added isso.min.js as default ISSO_EMBED_JS_PATH
|
2020-04-15 09:15:46 -06:00 |
|
pygments
|
Fixed pygments for reStructuredText
|
2020-04-14 10:55:41 -06:00 |
|
stylesheet
|
Compile latest changes
|
2020-04-20 23:19:01 +02:00 |
|
tipuesearch
|
Add tipue search integration (#193)
|
2020-02-07 18:06:17 +01:00 |
