Richard Bos b8683837bc Update style.min.css		2021-07-26 17:12:53 +02:00
..
dark-theme	Rename files	2020-04-20 23:19:01 +02:00
font-awesome
img
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	Update style.min.css	2021-07-26 17:12:53 +02:00
tipuesearch