mediawiki.content.json.css: Don't use funny fonts
authorBartosz Dziewoński <matma.rex@gmail.com>
Sat, 9 Aug 2014 14:58:39 +0000 (16:58 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Sat, 9 Aug 2014 15:02:33 +0000 (17:02 +0200)
* Allow skin-provided fonts for .mw-json.
* Use standard monospace font for .mw-json .value. We need to write
  'monospace, monospace' because of old browsers, see design/monospace.html.

Change-Id: I4ed850408895dd1962a0503227ccb384bf479790

resources/src/mediawiki/mediawiki.content.json.css

index 583dd39..f86bfac 100644 (file)
@@ -8,7 +8,6 @@
 .mw-json {
        border-collapse: collapse;
        border-spacing: 0;
-       font-family: 'Bitstream Vera Sans', 'DejaVu Sans', 'Lucida Sans', 'Lucida Grande', sans-serif;
        font-style: normal;
 }
 
@@ -26,7 +25,7 @@
 
 .mw-json .value {
        background-color: #dcfae3;
-       font-family: 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Courier, monospace;
+       font-family: monospace, monospace;
        white-space: pre-wrap;
 }