Skip to content

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

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#2868
borisbat merged 1 commit into
masterfrom
bbatkin/docs-logo-real-glyph

Conversation

@borisbat
Copy link
Copy Markdown
Collaborator

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 from site/files/daslang.svg — tinted amber (#e8a13a)
to match the nav lockup. 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.

Test plan

  • make.bat html builds clean (warnings unchanged from baseline = 270, all pre-existing)
  • Logo renders in build/html/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 from site/files/daslang.svg, tinted amber (#e8a13a) to match the
nav lockup. Wordmark text (daslang + .io) and colors are unchanged.
Copilot AI review requested due to automatic review settings May 25, 2026 06:36
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@borisbat borisbat merged commit 8f4bf1a into master May 25, 2026
30 of 31 checks passed
@borisbat borisbat deleted the bbatkin/docs-logo-real-glyph branch May 30, 2026 15:20
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.

2 participants