Danila Fedorin b1334455ea Track the best path for a submodule that was added ...

For Agda, this is a proxy for 'root directory' of a project

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

2024-05-21 20:59:08 -07:00

..

defercss.html

Defer some heavier CSS until later to help page loading times.

2023-12-30 16:00:57 -08:00

geturl.html

Track the best path for a submodule that was added

2024-05-21 20:59:08 -07:00

group.html

Allow "group" partial to accept custom attributes

2024-05-21 20:38:42 -07:00

head.html

Enable bold Raleway loading

2024-05-14 20:31:23 -07:00

header.html

Factor GitHub URL and resume link into configuration

2023-12-30 14:27:37 -08:00

highlightgroup.html

Always add line numbers (why not?), but specially tag Agda blocks

2024-05-21 20:41:10 -07:00

icon.html

Extract website theme into its own repository

2021-04-15 01:37:18 -07:00

linerangestr.html

Add a new shortcode for referencing lines in a GitHub repo

2023-10-09 14:40:07 -07:00

post.html

Tweak series marker colors

2023-01-31 18:54:08 -08:00

serieslink.html

Improve the series navigation links

2024-05-20 00:34:52 -07:00

seriesstatus.html

Tweak the series status style

2023-02-19 15:10:25 -08:00

warning.html

Add i18n support to the theme

2023-01-01 12:26:37 -08:00