Commit Graph

8 Commits

Author SHA1 Message Date
97e965feec Add a nicer comment color in dark mode
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-27 18:57:58 -07:00
3ccb5e8c65 Nicely stylize links in code blocks
This is mostly for Agda rendering.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 15:25:42 -07:00
4a5dfac221 Tweak code CSS a bit to make it nicer
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-02-02 21:05:26 -08:00
abb137514b Tweak the highlight CSS to include more classes.
Specifically, 'kd' (declaration keyword) and 'cm' (multiline comment)

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-24 11:03:49 -08:00
5202c57e2b Fix highlighted code lines in dark mode 2023-03-11 14:56:46 -08:00
0bd55bc58a Add fallbacks to CSS variables for older browsers 2023-03-11 14:07:43 -08:00
c631be65bc Tentatively add a dark mode 2023-03-11 12:08:45 -08:00
94c285a2f1 Extract website theme into its own repository 2021-04-15 01:37:18 -07:00