Martin Trigaux 761188dc57 [MERGE] Forward port 12.0 to 13.0		2020-06-25 09:45:37 +02:00
..
static	[IMP] index links looking bad with underline	2020-02-17 09:53:12 +01:00
__init__.py	[MERGE] Forward-port of branch 11.0 to 12.0	2020-02-20 11:10:41 +01:00
breadcrumb_list.html	[IMP] documentation-user: restructuring submenu	2016-05-12 14:06:25 +02:00
layout.html	[MERGE] Forward port 12.0 to 13.0	2020-06-25 09:45:37 +02:00
pygments_override.py	[IMP] inline paraiso dark to avoid pygments version headaches	2015-07-14 11:11:48 +02:00
sub-menu_list.html	[IMP] search-form: improve ui & fix bug on mobile	2020-02-17 09:53:12 +01:00
switcher.py	[CHG] initial port to new theme	2015-07-08 13:24:24 +02:00
switchers_list.html	[IMP] documentation-user: restructuring submenu	2016-05-12 14:06:25 +02:00
theme.conf	[CHG] initial port to new theme	2015-07-08 13:24:24 +02:00
translator.py	[MERGE] Forward port of 11.0 to 12.0	2020-06-25 09:45:12 +02:00