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