The attached patch does two things.
First it provides rounded corners via CSS, to all browsers that currently implement that option.
Second it provides some whitespace to make our designer happy. :-)

CommentFileSizeAuthor
feedback.css_.patch562 bytesantgiant

Comments

sun’s picture

sun
Primary language German
Location Karlsruhe
commented
Status: Needs review » Closed (duplicate)

Thanks for taking the time to report this issue.

However, marking as duplicate of #693880: Alternative UIs/themes. Please search for existing issues before submitting a new one.
You can follow up on that issue to track its status instead. If any information from this issue is missing in the other issue, please make sure you provide it over there.

antgiant’s picture

antgiant commented

I'll be happy to watch that issue. However, why the comment about searching for issues? I did, this issue was created over 6 months before #693880: Alternative UIs/themes. They are the ones who failed to search for issues.