From 4b495898a89d2ac1ba36488b9998b17c9d15363d Mon Sep 17 00:00:00 2001 From: oppiliappan Date: Fri, 16 Jan 2026 06:02:34 +0000 Subject: [PATCH] docs: add favicons to the site Signed-off-by: oppiliappan --- docs/template.html | 3 +++ nix/pkgs/docs.nix | 5 +++++ 2 files changed, 8 insertions(+) diff --git a/docs/template.html b/docs/template.html index 5ea8fe21..be586132 100644 --- a/docs/template.html +++ b/docs/template.html @@ -35,6 +35,9 @@ $endfor$ + + + diff --git a/nix/pkgs/docs.nix b/nix/pkgs/docs.nix index a1d0656a..f9958495 100644 --- a/nix/pkgs/docs.nix +++ b/nix/pkgs/docs.nix @@ -52,6 +52,11 @@ runCommandLocal "docs" {} '' cp -f ${inter-fonts-src}/InterVariable*.ttf $out/static/fonts/ cp -f ${ibm-plex-mono-src}/fonts/complete/woff2/IBMPlexMono*.woff2 $out/static/fonts/ + # favicons + ${dolly}/bin/dolly -output $out/static/logos/dolly.png -size 180x180 + ${dolly}/bin/dolly -output $out/static/logos/dolly.ico -size 48x48 + ${dolly}/bin/dolly -output $out/static/logos/dolly.svg -color currentColor + # styles cd ${src} && ${tailwindcss}/bin/tailwindcss -i input.css -o $out/stylesheet.css '' -- 2.51.2