Workaround for border-radius due to bug 49074

Change-Id: I411ea2cda0fcfc0c3182189ed6dc2f25851cd04c
This commit is contained in:
Niklas Laxström
2013-06-03 07:56:20 +00:00
committed by Gerrit Code Review
parent 361eb95f33
commit 979c2da418

View File

@@ -33,6 +33,8 @@ div.input-settings-block {
.uls-ime-menu-settings-item { .uls-ime-menu-settings-item {
background-color: #f0f0f0; background-color: #f0f0f0;
/* Workaround for bug https://bugzilla.wikimedia.org/49074 */
/* @noflip */
border-radius: 0 0 5px 5px; border-radius: 0 0 5px 5px;
border-top: 1px solid #ddd; border-top: 1px solid #ddd;
margin-top: 6px; margin-top: 6px;