| 
						
					 | 
					
						
						
						
						
							
						
						
							aae8912c08
							
						
					 | 
					
						
						
							
							Add support for custom input modes
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-09-15 19:48:32 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							84278b2e91
							
						
					 | 
					
						
						
							
							Update theme with missing file
						
						
						
						
						
					 | 
					
						2024-09-15 16:39:00 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							3a281dfa8a
							
						
					 | 
					
						
						
							
							Load presets from front matter + allow both bundled and global bergamot files
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-09-15 16:18:48 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							dee7579b29
							
						
					 | 
					
						
						
							
							Move bergamot widget into blog theme
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-09-15 15:28:31 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							c00867d46b
							
						
					 | 
					
						
						
							
							Markdown-ify sidenote labels
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-07-06 17:36:38 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							8c3d93bc2d
							
						
					 | 
					
						
						
							
							Add a 'draft link' shortcode
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-07-06 17:25:02 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							f931e6eceb
							
						
					 | 
					
						
						
							
							Properly close placeholder div
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-27 22:31:56 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							acf86b8d76
							
						
					 | 
					
						
						
							
							Add a placeholder for "next in series" if the series is ongoing
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-26 19:48:55 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							a5cda19e5e
							
						
					 | 
					
						
						
							
							Remove unused whitespace in seriesnav.html
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-26 19:35:23 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							7c085b4d39
							
						
					 | 
					
						
						
							
							Always link to root RSS feed on every page
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-26 19:21:46 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							5b5b971538
							
						
					 | 
					
						
						
							
							Make headings clickable
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-24 19:53:17 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							1bc7cba988
							
						
					 | 
					
						
						
							
							Add logic to disable showing non-inline CSS
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-24 19:23:06 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							ed270bc915
							
						
					 | 
					
						
						
							
							Hide checkboxes and icons when no CSS in head is loaded
						
						
						
						
						
						
						
						This seems to help in Firefox's reader mode.
Also adjust images to not be huge without CSS.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-24 19:21:46 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							8b6874ec75
							
						
					 | 
					
						
						
							
							Allow disabling external-links-in-new-tab
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-24 17:51:46 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							6921dbbd08
							
						
					 | 
					
						
						
							
							Disable down link icons since they're buggy
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-23 17:24:28 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							1a9d9f33cf
							
						
					 | 
					
						
						
							
							Use proper link concatenation
						
						
						
						
						
						
						
						Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> 
						
					 | 
					
						2024-06-23 14:17:15 -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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							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 | 
					
					
						
						
							
							
							
						
					 |