From 6eb0af21175202f83b84e9fd68bd6e5effeb8590 Mon Sep 17 00:00:00 2001 From: Ivan Banov Date: Sun, 1 Nov 2026 12:06:32 +0100 Subject: [PATCH] Use the new "D" favicon on the docs site Move website/public/logo to dunky-dev/logo@1708df1 (dunky-dev/logo#5) and use its favicon.svg, with favicon-white.svg for dark tabs, on the Starlight pages and on the custom home page. The home page had no dark favicon before. The square symbol was unreadable at 16 px. Co-Authored-By: Claude Opus 5.5 --- website/astro.config.ts | 4 ++-- website/public/logo | 2 +- website/src/pages/index.astro | 9 ++++++++- 3 files changed, 11 insertions(+), 4 deletions(-) diff --git a/website/astro.config.ts b/website/astro.config.ts index 20f7ef6..b1012af 100644 --- a/website/astro.config.ts +++ b/website/astro.config.ts @@ -59,14 +59,14 @@ export default defineConfig({ // Light/default favicon (Starlight base-prefixes this one). Chrome ignores // prefers-color-scheme *inside* an SVG favicon, so the dark-tab white // variant is supplied as a separate in `head` below. - favicon: '/logo/logo-symbol.svg', + favicon: '/logo/favicon.svg', head: [ { tag: 'link', attrs: { rel: 'icon', type: 'image/svg+xml', - href: `${basePrefix}/logo/logo-symbol-white.svg`, + href: `${basePrefix}/logo/favicon-white.svg`, media: '(prefers-color-scheme: dark)', }, }, diff --git a/website/public/logo b/website/public/logo index 608fed4..1708df1 160000 --- a/website/public/logo +++ b/website/public/logo @@ -1 +1 @@ -Subproject commit 608fed4d886babe8de06c673aa598ef52354f139 +Subproject commit 1708df1d207cca2655f0fb7ed77673ca051b6e5a diff --git a/website/src/pages/index.astro b/website/src/pages/index.astro index e14d333..f4a8b58 100644 --- a/website/src/pages/index.astro +++ b/website/src/pages/index.astro @@ -43,9 +43,16 @@ const shareOnX = `https://twitter.com/intent/tweet?text=${encodeURIComponent(sha Dunky: a state machine built for performance + +