jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/370818 )

Change subject: oojs-ui-local.css: Remove old browser fallback for rem
......................................................................


oojs-ui-local.css: Remove old browser fallback for rem

rem is supported by all Grade A browsers, and WindowManager
styling is only relevant in those browsers (since other browsers
don't execute JS).

Change-Id: Ic8995b3fc74a395918288cec013c8787c6974f58
---
M resources/src/oojs-ui-local.css
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Bartosz Dziewoński: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/resources/src/oojs-ui-local.css b/resources/src/oojs-ui-local.css
index ab780fe..57e0d8d 100644
--- a/resources/src/oojs-ui-local.css
+++ b/resources/src/oojs-ui-local.css
@@ -2,6 +2,5 @@
    responsibility, but alas our skins tend to have the weirdest font-sizes on 
body. This shall be
    removed when we make the MediaWiki skins bundled with tarball sane. 
(T91152) */
 body > .oo-ui-windowManager {
-       font-size: 12.8px;
        font-size: 0.8rem;
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/370818
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic8995b3fc74a395918288cec013c8787c6974f58
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Catrope <r...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to