jenkins-bot has submitted this change and it was merged.
Change subject: Remove custom border from input elements
......................................................................
Remove custom border from input elements
This creates an ugly border around checkbox in IE.
If we want to keep the custom border instead, we need to use more
specific css selectors.
Change-Id: Ic34e62f98f7e220034550c43550391315607573f
---
M resources/css/ext.translate.mainpage.css
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/css/ext.translate.mainpage.css
b/resources/css/ext.translate.mainpage.css
index 8a6893c..3e8ee61 100644
--- a/resources/css/ext.translate.mainpage.css
+++ b/resources/css/ext.translate.mainpage.css
@@ -129,7 +129,6 @@
.main-widget input {
padding: 10px;
font-size: 16pt;
- border: 1px solid #555;
margin: 10px;
}
--
To view, visit https://gerrit.wikimedia.org/r/68160
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic34e62f98f7e220034550c43550391315607573f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TwnMainPage
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Pginer <[email protected]>
Gerrit-Reviewer: Santhosh <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
