UI: Make banner width match content + round corners #782
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adjusting the styling of the banner on the main page in two ways:
n.b.: This PR basically purely a product of AI code changes
Width:
Prior to this PR the banner was wider than the rest of the content
Corners:
I rounded the corners for visual consistency with the buttons with rounded corners lower down the page
Old:
New:
AI
This was a vibe-coded change (i.e. I used gemini to figure out the web component. I did manually review the changes and verified that they work on desktop. The AI extension justified the changes like so: