|
|
db9433bda1
|
Extract series navigation into a partial
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 21:56:00 -07:00 |
|
|
|
25e9057dd8
|
Use ... instead of '. . .' in truncated summaries
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 17:31:00 -07:00 |
|
|
|
e431a4f22b
|
Add an external link marker to external links
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 17:30:46 -07:00 |
|
|
|
a4bff7623d
|
Don't re-print the name of series when listing pages
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-16 19:41:27 -07:00 |
|
|
|
b282843b40
|
Add a 'name in series' helper to re-use logic
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-16 19:35:31 -07:00 |
|
|
|
b1d4dd7a32
|
Adjust post.html to take a dict
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-16 19:35:07 -07:00 |
|
|
|
df22cb2b87
|
Use data from hosts.json to pull in link anchors
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-09 18:50:00 -07:00 |
|
|
|
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 |
|
|
|
ec7b58c8ec
|
Avoid passing in .Site-variables to geturl.html
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-09 18:14:53 -07:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
5e6b28a9a6
|
Insert series meta for Agda post-processing
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-22 22:41:47 -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 |
|
|
|
1aeb600750
|
Set 'bestPath' to empty by default instead of nil
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-22 16:35:04 -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 |
|
|
|
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 |
|
|
|
8a5bbf460b
|
Trim whitespace in more places
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 21:42:35 -07:00 |
|
|
|
48bdf9ef08
|
Remove newlines from group dict info
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 21:31:37 -07:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
67da389005
|
Break up code creating highlight groups and pass in line numbers
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 20:39:21 -07:00 |
|
|
|
a6a14c3909
|
Allow "group" partial to accept custom attributes
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 20:38:42 -07:00 |
|
|
|
b9a91e76ce
|
Highlight linked paragraphs
|
2024-05-21 19:04:34 -07:00 |
|
|
|
00431109ac
|
Improve the series navigation links
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 00:34:52 -07:00 |
|
|
|
e4dccd4f48
|
Add support for series navigation links
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 00:27:25 -07:00 |
|
|
|
f3bf27d4a1
|
Remove newlines from 'codeurl'
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-16 16:16:43 -07:00 |
|
|
|
77b8d5e65b
|
Draw from 'data/' for submodule links
I didn't know about https://gohugo.io/templates/data-templates/
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-16 15:52:15 -07:00 |
|
|
|
e2fb9362f6
|
Tweak formattng of tables
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-14 20:32:22 -07:00 |
|
|
|
038c8e0ac6
|
Enable bold Raleway loading
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-14 20:31:23 -07:00 |
|
|
|
2c13bf93cb
|
Add a shortcode to just get the URL of a code file
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-12 18:58:28 -07:00 |
|
|
|
9c9ced66c3
|
Allow hiding code in code blocks
|
2024-03-11 23:20:35 -07:00 |
|
|
|
9b9a6dca5f
|
Decorate blockquotes a bit
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-03-11 15:50:22 -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 |
|
|
|
a613c68f01
|
Remove crossorigin attribute from katex.min.css
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 19:25:15 -08:00 |
|
|
|
991cccb9f6
|
Make button contrast not burn your eyes.
|
2023-12-30 16:31:16 -08:00 |
|
|
|
0502cf93b6
|
Move link transitions into however effects to avoid transition from browser default color.
|
2023-12-30 16:15:40 -08:00 |
|
|
|
4608853c9b
|
Remove 'site url' from theme parameters since it's a site property
|
2023-12-30 16:01:37 -08:00 |
|
|
|
973be263dc
|
Defer some heavier CSS until later to help page loading times.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 16:00:57 -08:00 |
|
|
|
1f64536c30
|
Add comments to HTML
|
2023-12-30 15:46:36 -08:00 |
|
|
|
ae107a445a
|
Remove analytics slug since it's specific to sites
|
2023-12-30 14:47:09 -08:00 |
|
|
|
c1c83a8ca2
|
Use unminified normalize since the npm package doesn't have a minified version
|
2023-12-30 14:46:17 -08:00 |
|
|
|
4f457874f3
|
Remove KaTeX CSS URL in local mode since it's already loaded above
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 14:30:44 -08:00 |
|
|
|
f5be44887b
|
Extract more CSS/JS into static files on static.danilafe.com
|
2023-12-30 14:30:27 -08:00 |
|
|
|
0d721d48a4
|
Use a protocol-independent // instead of https://.
|
2023-12-30 14:29:31 -08:00 |
|
|
|
d570c8f421
|
Factor GitHub URL and resume link into configuration
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 14:27:37 -08:00 |
|
|
|
282b18f9a0
|
Add defaults for required site params to theme config.toml
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 14:01:19 -08:00 |
|
|
|
c728748106
|
Extract hardcoded URL to danilafe.com into a site param.
|
2023-12-30 13:58:56 -08:00 |
|
|
|
e82879434e
|
Add support for plausible analytics
|
2023-12-30 13:12:01 -08:00 |
|
|
|
098767e766
|
Use static.danilafe.com to host KaTeX CSS/Fonts, and make that configurable.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-11-29 22:13:59 -08:00 |
|
