Skip to content

doc: replace placeholder Sphinx logo with real daslang glyph#70

Merged
borisbat merged 1 commit into
masterfrom
bbatkin/docs-logo-real-glyph
May 25, 2026
Merged

doc: replace placeholder Sphinx logo with real daslang glyph#70
borisbat merged 1 commit into
masterfrom
bbatkin/docs-logo-real-glyph

Conversation

@borisbat
Copy link
Copy Markdown
Owner

Summary

doc/source/_static/forge-logo.svg (the image shown top-left in the Sphinx
sidebar of every docs page) shipped with a homemade >-in-a-gradient-tile
placeholder that doesn't match the brand on daslang.io.

Swap the placeholder for the actual brand glyph — the currentColor
"curlicue" path used in daslang's site nav and the daslang Sphinx docs —
tinted amber (#e8a13a). Wordmark text (daslang + .io) and its colors
are unchanged, so the visual position/weight in the sidebar is identical.

daslang.ico (favicon) was already in sync with the site — no change.

Pairs with daScript#2868
(same glyph swap in daslang's own docs).

Test plan

  • sphinx-build -b html doc/source build/site builds clean (47 warnings, all pre-existing)
  • Logo renders in build/site/index.html sidebar (verified locally)

forge-logo.svg shipped with a homemade `>`-in-a-gradient-tile placeholder
that didn't match the brand on daslang.io. Swap in the actual currentColor
glyph path (the one used in daslang's site nav and the daslang Sphinx docs),
tinted amber (#e8a13a). Wordmark text and colors are unchanged, so the
visual position/weight in the sidebar is identical.

Pairs with daScript#2868 (same glyph swap in daslang's own docs).
@borisbat borisbat merged commit 762f6ce into master May 25, 2026
4 of 5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant