|
|
de41337b22
|
sidebar enrichments
|
2020-08-14 09:36:48 +02:00 |
|
|
|
9bc91500d0
|
fix font setting for p elements
|
2020-07-28 16:05:17 +02:00 |
|
|
|
334cb13c87
|
use CSS for syntax highlightign
|
2020-07-26 10:11:59 +02:00 |
|
|
|
32fcc3049a
|
menu layout improvements
|
2020-06-22 10:48:38 +02:00 |
|
|
|
e8318fc7a0
|
full refactoring, using up-to-date bootstrap + bootswatch theme
|
2020-06-14 09:04:20 +02:00 |
|
|
|
87a3eda4ce
|
initial import
|
2020-03-08 16:38:47 +01:00 |
|
