7 Commits (9f9b9fbe6755a2f8526bdce7ed4bebba234e9b14)

Author	SHA1	Message	Date
Dominic Reich	7824ea2823	udpate custom css (use a smaller font)	7 months ago
Dominic Reich	1b0ab7295c	increase overall font size	9 months ago
Dominic Reich	81920c9e47	update theming (including highlighting)	1 year ago
Dominic Reich	a10bfb7b1b	adds a few highlighting styles	1 year ago
Dominic Reich	4ae13677d2	update theme	2 years ago
Dominic Reich	7521b5ef80	add custom chroma for syntax highlighting	2 years ago
Dominic Reich	241650a965	update font size	2 years ago