|
4b19da5006
|
Reduce whitespace in templates and avoid polluting the page scratch
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-09 18:36:54 -07:00 |
|
|
5bfbaf397b
|
Allow both 'agda' and 'Agda' in highlight groups
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-23 00:56:51 -07:00 |
|
|
d088d79d3f
|
Display base path and file path even if lines aren't set in highlight group
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-22 17:06:17 -07:00 |
|
|
e531ebd992
|
Also include the base path and the file path in highlight groups
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 21:44:59 -07:00 |
|
|
a6425c7510
|
Always add line numbers (why not?), but specially tag Agda blocks
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 20:41:10 -07:00 |
|
|
52ea5abbc8
|
For Agda code blocks, thread through line numbers
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 20:39:28 -07:00 |
|
|
94c285a2f1
|
Extract website theme into its own repository
|
2021-04-15 01:37:18 -07:00 |
|