Skip to content

chore: add Experimental Editor link to docs header + legal footer#16448

Merged
Mossaka merged 2 commits intomainfrom
chore/editor-toc-link
Feb 17, 2026
Merged

chore: add Experimental Editor link to docs header + legal footer#16448
Mossaka merged 2 commits intomainfrom
chore/editor-toc-link

Conversation

@Mossaka
Copy link
Collaborator

@Mossaka Mossaka commented Feb 17, 2026

Summary

  • Add italic+dashed-border "Experimental Editor" link to the docs top navigation bar, pointing to /editor/
  • Replace single Terms of Service footer link with three official GitHub legal links (Terms · Privacy · Security)

Test plan

  • Verified make build-docs — Astro build succeeds (pre-existing broken internal links from starlight-links-validator are unrelated)
  • Visual check: header shows "Experimental Editor" with dashed border + italic style
  • Visual check: footer shows Terms · Privacy · Security links with correct URLs

🤖 Generated with Claude Code

Add italic+dashed-border "Experimental Editor" link to header nav,
and replace single Terms link with Terms · Privacy · Security using
official GitHub legal URLs.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings February 17, 2026 21:37
Copy link
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.

Pull request overview

This PR enhances the documentation site's navigation and footer by adding an experimental editor link and updating legal footer links to official GitHub policy pages.

Changes:

  • Adds "Experimental Editor" navigation link with italic styling and dashed border to indicate experimental status
  • Replaces single GitHub Next Terms of Service link with three official GitHub legal links (Terms, Privacy, Security)
  • Adds styling for legal separator dots with theme-aware colors

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File Description
docs/src/components/CustomHeader.astro Adds experimental editor link to navigation bar with italic+dashed styling
docs/src/components/CustomFooter.astro Replaces single Terms link with three official GitHub legal links and adds separator styling

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

.experimental-link {
font-style: italic;
border: 1px dashed rgba(110, 118, 129, 0.4);
}
Copy link

Copilot AI Feb 17, 2026

Choose a reason for hiding this comment

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

The experimental-link border style may not be visible enough in light theme. The border color rgba(110, 118, 129, 0.4) is designed for dark backgrounds. Consider adding a light theme variant using :global([data-theme='light']) .experimental-link with a darker border color (e.g., rgba(110, 118, 129, 0.6) or a similar color to what's used elsewhere in the codebase for light theme borders).

Suggested change
}
}
:global([data-theme='light']) .experimental-link {
border-color: rgba(110, 118, 129, 0.6);
}

Copilot uses AI. Check for mistakes.

.experimental-link {
font-style: italic;
border: 1px dashed rgba(110, 118, 129, 0.4);
Copy link

Copilot AI Feb 17, 2026

Choose a reason for hiding this comment

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

The 1px dashed border added to .experimental-link will make this link element 2px taller than other header links (1px top + 1px bottom). Consider adjusting the padding to compensate, for example by reducing top/bottom padding to maintain consistent alignment with other header links. This could be achieved by overriding the padding in .experimental-link to something like 'padding: calc(0.25rem - 1px) 0.75rem;' to account for the border.

Suggested change
border: 1px dashed rgba(110, 118, 129, 0.4);
border: 1px dashed rgba(110, 118, 129, 0.4);
padding: calc(0.25rem - 1px) 0.75rem;

Copilot uses AI. Check for mistakes.
@Mossaka Mossaka enabled auto-merge (squash) February 17, 2026 22:50
@Mossaka Mossaka merged commit 6a7ea40 into main Feb 17, 2026
1 check passed
@Mossaka Mossaka deleted the chore/editor-toc-link branch February 17, 2026 22:50
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

Comments