|
|
7e8a89ccd2
|
Make fullwide images actually fullwide
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-23 13:54:08 -07:00 |
|
|
|
7b3ef86744
|
Write up and down arrows on internal links to headings
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-23 13:52:43 -07:00 |
|
|
|
60041d1d37
|
Restore whitespace to tag list
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 22:44:28 -07:00 |
|
|
|
2a77e0d308
|
Remove trailing whitespace from icon partial
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 22:42:49 -07:00 |
|
|
|
9abee96bd2
|
Fix double-used navigation ID and odd centering issue
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 22:28:49 -07:00 |
|
|
|
13eeadf6f0
|
Avoid using global 'page' variable in partial
This seems to have an undesired effect when called from a shortcode
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 22:17:43 -07:00 |
|
|
|
f677a3731c
|
Add a series nav shortcode to display navigation early
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 22:03:33 -07:00 |
|
|
|
a8549922c3
|
Trim more whitespace from template
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 21:57:25 -07:00 |
|
|
|
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 |
|
