Hello Esanders, Krinkle, jenkins-bot, VolkerE, Jforrester,
I'd like you to do a code review. Please visit
https://gerrit.wikimedia.org/r/401401
to review the following change.
Change subject: Revert "Standardize editfont size across browsers/OSes"
(temporarily)
......................................................................
Revert "Standardize editfont size across browsers/OSes" (temporarily)
Temporary revert until we are ready to announce the change of the
font size in the edit field to the users of Wikimedia wikis.
This reverts commit bddb727a9f9d406641166ba65295dff2e5a21319.
Bug: T182320
Change-Id: I2739759f128285daf75a466de55a4f4664ff04bf
---
M resources/src/mediawiki/mediawiki.editfont.css
1 file changed, 1 insertion(+), 8 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/01/401401/1
diff --git a/resources/src/mediawiki/mediawiki.editfont.css
b/resources/src/mediawiki/mediawiki.editfont.css
index fe7f324..6228030 100644
--- a/resources/src/mediawiki/mediawiki.editfont.css
+++ b/resources/src/mediawiki/mediawiki.editfont.css
@@ -1,6 +1,6 @@
/* Edit font preference */
.mw-editfont-monospace {
- font-family: monospace, monospace;
+ font-family: monospace;
}
.mw-editfont-sans-serif {
@@ -9,11 +9,4 @@
.mw-editfont-serif {
font-family: serif;
-}
-
-/* Standardize font size for edit areas using edit-fonts T182320 */
-.mw-editfont-monospace,
-.mw-editfont-sans-serif,
-.mw-editfont-serif {
- font-size: 13px;
}
--
To view, visit https://gerrit.wikimedia.org/r/401401
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I2739759f128285daf75a466de55a4f4664ff04bf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
