|
|
c7ecf06733
|
Feat: expand sidebar on category index
|
2020-06-26 10:13:48 +02:00 |
|
|
|
548aecf9e3
|
Feat: toctree based on categories
|
2020-06-25 16:10:24 +02:00 |
|
|
|
c6ee0ce838
|
Feat: remove logo, center title, fix links
|
2020-06-24 14:10:08 +02:00 |
|
|
|
edc12f1430
|
Feat: move HOME to links
|
2020-06-24 10:33:48 +02:00 |
|
|
|
5b475a2f38
|
Feat: import work and verify compilation
|
2020-06-24 08:26:04 +02:00 |
|
|
|
1ad81faabe
|
Feat: home line point to root of website
|
2020-06-23 10:58:07 +02:00 |
|
|
|
81dc32f301
|
Feat: remove logo
|
2020-06-05 10:41:20 +02:00 |
|
|
|
76a4e19baf
|
Feat: Import all old stuff
|
2019-07-18 12:43:36 +02:00 |
|
