Skip to content

Style each list entry with a rounded background box#47

Merged
wjt merged 1 commit intomainfrom
push-uqmlypxnrnzk
Jul 15, 2025
Merged

Style each list entry with a rounded background box#47
wjt merged 1 commit intomainfrom
push-uqmlypxnrnzk

Conversation

@wjt
Copy link
Member

@wjt wjt commented Jul 15, 2025

@wjt wjt requested a review from manuq July 15, 2025 13:08
Copy link
Contributor

@manuq manuq left a comment

Choose a reason for hiding this comment

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

Looks better! I left a suggestion about removing unneeded CSS rules for the border.

branches.css Outdated
Comment on lines 68 to 70
Copy link
Contributor

Choose a reason for hiding this comment

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

Is a transparent 1 pixel border needed?

branches.css Outdated
Comment on lines 68 to 66
Copy link
Contributor

Choose a reason for hiding this comment

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

I checked and this is not needed. You can remove rules border-style, border-width and border-color, leaving only border-radius for the round effect.

Copy link
Member Author

Choose a reason for hiding this comment

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

I didn't know that. I've been cargo-culting my own 1px transparent border for like 15 years.

@wjt wjt force-pushed the push-uqmlypxnrnzk branch from a40892d to b468870 Compare July 15, 2025 13:26
@wjt wjt merged commit d1b9a5f into main Jul 15, 2025
1 check passed
@wjt wjt deleted the push-uqmlypxnrnzk branch July 15, 2025 13:28
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.

2 participants

Comments