From 979c2da4188db3a4ad8010ff41fd8805de659743 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Niklas=20Laxstr=C3=B6m?= Date: Mon, 3 Jun 2013 07:56:20 +0000 Subject: [PATCH] Workaround for border-radius due to bug 49074 Change-Id: I411ea2cda0fcfc0c3182189ed6dc2f25851cd04c --- resources/css/ext.uls.inputsettings.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/resources/css/ext.uls.inputsettings.css b/resources/css/ext.uls.inputsettings.css index 924cd02b..1149aa90 100644 --- a/resources/css/ext.uls.inputsettings.css +++ b/resources/css/ext.uls.inputsettings.css @@ -33,6 +33,8 @@ div.input-settings-block { .uls-ime-menu-settings-item { background-color: #f0f0f0; + /* Workaround for bug https://bugzilla.wikimedia.org/49074 */ + /* @noflip */ border-radius: 0 0 5px 5px; border-top: 1px solid #ddd; margin-top: 6px;