Fix dropdown item paddings (#9616)

Fixes a small issue with dropdown item alignment.

<img width="243" alt="Screenshot 2024-04-03 at 4 55 12 PM" src="https://github.com/enso-org/enso/assets/6566674/96803537-bc30-456c-b694-5fd7c70e21db">
This commit is contained in:
Ilya Bogdanov 2024-04-03 17:35:13 +04:00 committed by GitHub
parent 59379eaa4f
commit a474955e28
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -152,6 +152,7 @@ li {
}
.item.selected {
margin-left: 8px;
border-radius: var(--radius-full);
background-color: var(--color-port-connected);
width: min-content;