Chris Josten 63f177475b old style; update for new grid layout ... It still looks terrible, but I suppose that was the entire idea of this optional style		2024-10-12 20:54:03 +02:00
..
old	Use translations, fix 'old' style.	2021-03-10 18:30:32 +01:00
base.css	style: move to grid layout from flex	2024-10-12 20:37:26 +02:00
highlight.css	Add more support for internationalisation, style changes	2021-03-11 17:22:40 +01:00
old.css	old style; update for new grid layout	2024-10-12 20:54:03 +02:00