Jdlrobson has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/81114


Change subject: Bug 49033: Style pre and code tags properly
......................................................................

Bug 49033: Style pre and code tags properly

Change-Id: I2559599bae8c22b5d209e6c324666167b05e0468
---
M less/common/enwp.less
M stylesheets/common/enwp.css
2 files changed, 7 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend 
refs/changes/14/81114/1

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: newchange
Gerrit-Change-Id: I2559599bae8c22b5d209e6c324666167b05e0468
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to