6 commits

Author	SHA1	Message	Date
Dominic Reich	7824ea2823	udpate custom css (use a smaller font)	2024-04-21 22:04:40 +02:00
Dominic Reich	1b0ab7295c	increase overall font size	2024-03-10 15:25:48 +01:00
Dominic Reich	81920c9e47	update theming (including highlighting)	2023-11-14 19:33:45 +01:00
Dominic Reich	4ae13677d2	update theme	2023-05-28 20:10:03 +02:00
Dominic Reich	7521b5ef80	add custom chroma for syntax highlighting	2023-04-08 21:09:36 +02:00
Dominic Reich	241650a965	update font size	2023-04-08 19:44:44 +02:00