Skip to content

docs site styling#20

Merged
skarim merged 4 commits intomainfrom
skarim/docs-styling
Apr 14, 2026
Merged

docs site styling#20
skarim merged 4 commits intomainfrom
skarim/docs-styling

Conversation

@skarim
Copy link
Copy Markdown
Collaborator

@skarim skarim commented Apr 14, 2026

Theming on top of default Starlight template to match GitHub branding

Copilot AI review requested due to automatic review settings April 14, 2026 06:35
Copy link
Copy Markdown

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.

Pull request overview

This PR applies GitHub-branded theming on top of the default Starlight docs template, including typography, colors, and header navigation behavior.

Changes:

  • Replaces the default Starlight color system and component styling with GitHub/Primer-inspired dark & light themes.
  • Adds Mona Sans and updates the docs site logo to the GitHub mark.
  • Updates the header navigation component and responsive behavior (including a splash-page mobile hamburger).
Show a summary per file
File Description
docs/src/styles/custom.css Introduces a large set of GitHub-branded theme/style overrides and responsive header behavior.
docs/src/components/CustomHeader.astro Updates the custom header/social area component and hamburger dropdown behavior.
docs/src/assets/github-invertocat.svg Adds the GitHub mark for use as the docs logo.
docs/public/fonts/MonaSans-Regular.woff2 Adds the Mona Sans Regular font asset.
docs/astro.config.mjs Configures the new logo and removes social links configuration.

Copilot's findings

Tip

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

  • Files reviewed: 3/6 changed files
  • Comments generated: 4

@skarim skarim force-pushed the skarim/docs-styling branch from f51caa2 to 6583e52 Compare April 14, 2026 11:12
@skarim skarim merged commit c80e10c into main Apr 14, 2026
8 checks passed
@skarim skarim deleted the skarim/docs-styling branch April 14, 2026 17:39
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.

3 participants