|
|
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 |
|
