Commit Graph

190 Commits

Author SHA1 Message Date
0ba5799c75 Update theme with missing file
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 16:39:17 -07:00
324fa948e6 Bring in more theme updates
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 16:28:07 -07:00
3e46ff8be6 Update vanilla theme to handle loading Bergamot
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 15:47:26 -07:00
23eb36b911 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-07-16 14:31:06 -07:00
e91b6f692f Publish introducton to SPA in Agda
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-07-06 17:42:44 -07:00
82d9196c90 Update theme with bugfix
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-27 22:32:13 -07:00
0b97eb85a1 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-26 19:49:24 -07:00
a2132001e8 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-26 19:25:32 -07:00
4fd6dd5606 Make minor edits to article and update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-24 19:59:51 -07:00
7b71ec4402 Update theme some more
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-24 19:49:05 -07:00
07771117ac Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-24 19:28:41 -07:00
b40be72590 Disable opening external links in new tab
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-24 17:52:14 -07:00
c87bb90c48 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-23 17:57:06 -07:00
a6225191d0 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-19 22:44:53 -07:00
afb904a64c Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-19 22:29:09 -07:00
cbad391dcd Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-19 22:18:19 -07:00
a9da39b987 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-19 22:03:54 -07:00
1071bdd35a Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-19 17:31:34 -07:00
3be523b79e Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-16 19:45:29 -07:00
29c9af4902 Update theme to generate links to file ranges where possible
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-09 18:52:01 -07:00
5232f0a6e2 Update theme with new code highlighting
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-27 18:58:20 -07:00
4d23b45633 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-23 00:57:07 -07:00
37399afc68 Update theme to generate series meta
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 22:42:04 -07:00
6ffd3afeaa Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 17:07:37 -07:00
5d0b903c03 Support non-submodule code
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 16:47:42 -07:00
76b061d699 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 16:23:47 -07:00
08d37c839c Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-21 23:51:08 -07:00
2e59beda0c Update theme 2024-05-21 19:05:07 -07:00
78bba7a0e9 Update the blog for series navigation
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-20 00:37:16 -07:00
d787548915 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-16 16:17:01 -07:00
a29bca499f Switch to using data/ for submodule information
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-16 15:52:33 -07:00
c036041339 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-14 20:32:37 -07:00
e063ff6aa5 Update the vanilla theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-12 18:58:44 -07:00
21ab4f0a8b Update theme 2024-03-11 23:21:08 -07:00
cd4c121e07 Update the theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-03-11 15:50:40 -07:00
8bf99a1ab0 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-02-02 21:05:48 -08:00
c09fff455f Update theme. 2023-12-30 19:40:10 -08:00
e90fb64946 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-30 16:31:46 -08:00
d542a4790e Update theme 2023-12-30 16:16:10 -08:00
bc5cb4009c Update theme 2023-12-30 16:02:52 -08:00
6724533d0e Update theme and change config.toml to match 2023-12-30 14:48:16 -08:00
0f0668b77b Make use of theme's support for Plausible. 2023-12-30 13:13:00 -08:00
2855675fa5 Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-29 22:28:31 -08:00
209689c5f4 Update the theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-27 22:18:15 -08:00
3d64b0aa28 Update the 'vanilla' theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-24 11:04:42 -08:00
77ec1aa969 Update the 'vanilla' theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-10-09 14:40:45 -07:00
8a2e91e65e Update theme 2023-06-04 21:54:19 -07:00
850ccbdcee Update theme 2023-05-04 21:02:07 -07:00
f579641866 Add support for discussion rooms and add one to polynomial article 2023-04-15 15:09:06 -07:00
a71c0c4e74 Update theme 2023-04-09 22:52:37 -07:00