Merge "commonElements: Import styling for <code> from mediawiki.org"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 24 Jul 2014 03:34:37 +0000 (03:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 24 Jul 2014 03:34:37 +0000 (03:34 +0000)
skins/common/commonElements.css

index 7b2cc40..392a2a6 100644 (file)
@@ -197,14 +197,18 @@ pre, code, tt, kbd, samp, .mw-code {
 }
 
 code {
+       color: black;
        background-color: #f9f9f9;
+       border: 1px solid #ddd;
+       border-radius: 2px;
+       padding: 1px 4px;
 }
 
 pre, .mw-code {
-       padding: 1em;
-       border: 1px solid #ddd;
        color: black;
        background-color: #f9f9f9;
+       border: 1px solid #ddd;
+       padding: 1em;
 }
 
 /* Tables */