Skip to content

Increase button spacing in editor header from 8px to 16px#16537

Merged
pelikhan merged 2 commits intomainfrom
copilot/fix-button-spacing-in-editor
Feb 18, 2026
Merged

Increase button spacing in editor header from 8px to 16px#16537
pelikhan merged 2 commits intomainfrom
copilot/fix-button-spacing-in-editor

Conversation

Copy link
Contributor

Copilot AI commented Feb 18, 2026

Editor header buttons (Auto toggle, Compile, theme) had insufficient spacing.

Changes

  • Updated Primer CSS gap utility from gap-2 (8px) to gap-3 (16px) in docs/public/editor/index.html
- <div class="d-flex flex-items-center gap-2 ml-auto">
+ <div class="d-flex flex-items-center gap-3 ml-auto">

Visual

Before:
Before

After:
After


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix spacing between buttons in editor title Increase button spacing in editor header from 8px to 16px Feb 18, 2026
Copilot AI requested a review from pelikhan February 18, 2026 07:03
@pelikhan pelikhan marked this pull request as ready for review February 18, 2026 07:08
Copilot AI review requested due to automatic review settings February 18, 2026 07:08
@pelikhan pelikhan merged commit 1f71659 into main Feb 18, 2026
@pelikhan pelikhan deleted the copilot/fix-button-spacing-in-editor branch February 18, 2026 07:08
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 improves the visual spacing of buttons in the editor header by increasing the gap between them from 8px to 16px using Primer CSS gap utilities.

Changes:

  • Updated the gap utility class from gap-2 (8px) to gap-3 (16px) for the button container in the editor header

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

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