jenkins-bot has submitted this change and it was merged.
Change subject: Style pre and code tags properly
......................................................................
Style pre and code tags properly
Bug: 49033
Change-Id: I2559599bae8c22b5d209e6c324666167b05e0468
---
M less/common/enwp.less
M stylesheets/common/enwp.css
2 files changed, 7 insertions(+), 0 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/less/common/enwp.less b/less/common/enwp.less
index 4fa7a71..700440e 100644
--- a/less/common/enwp.less
+++ b/less/common/enwp.less
@@ -13,8 +13,12 @@
code,
pre {
+ padding: 0.2em 0.5em;
font-family: monospace;
border: solid 1px #CCC;
+}
+
+pre {
padding: 1em;
}
diff --git a/stylesheets/common/enwp.css b/stylesheets/common/enwp.css
index 4f900ea..dbc7e20 100644
--- a/stylesheets/common/enwp.css
+++ b/stylesheets/common/enwp.css
@@ -16,8 +16,11 @@
}
code,
pre {
+ padding: 0.2em 0.5em;
font-family: monospace;
border: solid 1px #CCC;
+}
+pre {
padding: 1em;
}
.mobile #coordinates {
--
To view, visit https://gerrit.wikimedia.org/r/81114
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2559599bae8c22b5d209e6c324666167b05e0468
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
