Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2023-11-30 07:21:32 +00:00
c25f9ad9ae Add the work-in-progress Bergamot widget to the basics page.
DanilaFe pushed to master at Nix-Configs/server-config 2023-11-30 07:18:40 +00:00
7f510b654a Update flake.lock
a527e746d9 Fix the CORS header for static.danilafe.com
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-11-30 07:10:14 +00:00
aebf198ca8 Bundle files from web-files at build time.
DanilaFe pushed to master at Web-Projects/blog-static 2023-11-30 06:36:51 +00:00
5041c90ac0 Add some partials to load and create a Bergamot widget.
2855675fa5 Update theme
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-11-30 06:28:23 +00:00
098767e766 Use static.danilafe.com to host KaTeX CSS/Fonts, and make that configurable.
DanilaFe pushed to main at Everything-I-Know…/bergamot-elm 2023-11-30 06:21:16 +00:00
bb18c8bd8c Tweak the HTML tags generated by Bergamot.
DanilaFe pushed to master at Nix-Configs/web-files 2023-11-30 06:16:58 +00:00
0724cfe43c Install all katex-expression files since it's not self-contained.
DanilaFe pushed to master at Nix-Configs/web-files 2023-11-30 06:08:04 +00:00
a462008844 Update default.nix to also serve fonts from KaTeX
DanilaFe pushed to master at Nix-Configs/server-config 2023-11-30 05:53:20 +00:00
3888606d8c Host the static files required by the blog on a subdomain.
28aad07d18 Add a swapfile. We run out of memory way too often.
Compare 2 commits »
DanilaFe pushed to main at Everything-I-Know…/bergamot-elm 2023-11-30 04:40:31 +00:00
524796d74f More strictly control what goes into elm.nix
cd2d6366b0 Add a flake file to build the project
Compare 2 commits »
DanilaFe pushed to main at Everything-I-Know…/bergamot-elm 2023-11-30 03:48:38 +00:00
a34e143408 Add Nix-specific generated dependencies
DanilaFe pushed to master at Web-Projects/blog-static 2023-11-28 06:40:42 +00:00
209689c5f4 Update the theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-11-28 06:18:07 +00:00
5aa54c1ce4 Extract input style to common CSS and remove raw uses of var(--x).
DanilaFe pushed to master at Web-Projects/blog-static 2023-11-24 19:04:56 +00:00
3d64b0aa28 Update the 'vanilla' theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-11-24 19:04:36 +00:00
abb137514b Tweak the highlight CSS to include more classes.
DanilaFe pushed to main at DanilaFe/agda-spa 2023-11-23 22:15:53 +00:00
9646096c75 Fix uses of 'absurd' in Fixedpoint.agda
DanilaFe pushed to master at Everything-I-Know…/bergamot 2023-10-16 00:54:42 +00:00
d8dd005f54 Try using tail recursion to reduce stack pressure
DanilaFe pushed to master at Web-Projects/blog-static 2023-10-14 22:58:26 +00:00
3bceab0606 Fix dates
DanilaFe pushed to master at Web-Projects/blog-static 2023-10-14 22:52:18 +00:00
c189da3671 Finalize the X Macro article
DanilaFe pushed to master at Web-Projects/blog-static 2023-10-10 03:33:38 +00:00
dd232cedb5 Fixup links and add description to X Macros article.