Skip to content

Conversation

benjaminleonard
Copy link
Contributor

@benjaminleonard benjaminleonard commented Mar 3, 2025

Tightened top margins and fixes #2709

Copy link

vercel bot commented Mar 3, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated (UTC)
console ✅ Ready (Inspect) Visit Preview Mar 3, 2025 6:49pm

@benjaminleonard benjaminleonard marked this pull request as draft March 3, 2025 16:36
@benjaminleonard benjaminleonard marked this pull request as ready for review March 3, 2025 17:59
</div>
</PageHeader>
<PropertiesTable columns={2} className="-mt-8 mb-16">
<PropertiesTable columns={2} className="-mt-8 mb-8">
Copy link
Collaborator

Choose a reason for hiding this comment

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

The fact that they all have this makes me wonder if it should be formalized somehow, but it doesn't really matter to me.

Copy link
Collaborator

@david-crespo david-crespo left a comment

Choose a reason for hiding this comment

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

I still find the gap above the sidebar slightly noticeable, but this is a huge improvement. Love the density.

@david-crespo david-crespo merged commit 873e898 into main Mar 3, 2025
7 checks passed
@david-crespo david-crespo deleted the tweak-metrics-tabs-spacing branch March 3, 2025 19:21
david-crespo added a commit to oxidecomputer/omicron that referenced this pull request Mar 4, 2025
david-crespo added a commit to oxidecomputer/omicron that referenced this pull request Mar 4, 2025
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.

Rework RouteTabs
2 participants