Missing border radius

[jdbruxelles]

Hi, I noticed a missing border radius in the preferences modal. Here is a screenshot of how it is actually:

And how it must be:

by adding:

border-radius: 8px 0 0 8px;

[JamesACS]

Thanks for flagging @jdbruxelles - Raised this!