Patch #44453
Updated by Marius BĂLTEANU about 13 hours ago
Go MAEDA wrote in #note-4:
> Instead of making the hover highlight full height, how about rounding its corners? A slightly rounded highlight is a common style for links in a bar, and it looks like temporary feedback for the pointer, not like a part of the layout. The screenshot below shows the top menu with @border-radius: 3px@.
>
> !{border: 1px solid gray;}.clipboard-202609152342-2wyfi.png!