diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2014-07-24 03:34:37 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2014-07-24 03:34:37 +0000 |
| commit | bc3d8e267e5c5fe8ce2ad5acfa8fe03e1752c4aa (patch) | |
| tree | b993e88f1deaabf6f73da29dae94680790322068 /skins | |
| parent | 77cfbb888ecdd84809dcebbc02acc3fa44264495 (diff) | |
| parent | ea24513921a8e0d704d1747a26f0c1627eaf3153 (diff) | |
| download | mediawikicore-bc3d8e267e5c5fe8ce2ad5acfa8fe03e1752c4aa.tar.gz mediawikicore-bc3d8e267e5c5fe8ce2ad5acfa8fe03e1752c4aa.zip | |
Merge "commonElements: Import styling for <code> from mediawiki.org"
Diffstat (limited to 'skins')
| -rw-r--r-- | skins/common/commonElements.css | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/skins/common/commonElements.css b/skins/common/commonElements.css index 7b2cc4059a78..392a2a662271 100644 --- a/skins/common/commonElements.css +++ b/skins/common/commonElements.css @@ -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 */ |