From: Bartosz Dziewoński <matma.rex@gmail.com>
Date: Sat, 9 Aug 2014 14:58:39 +0000 (+0200)
Subject: mediawiki.content.json.css: Don't use funny fonts
X-Git-Tag: 1.31.0-rc.0~14497^2
X-Git-Url: https://git.heureux-cyclage.org/?a=commitdiff_plain;h=e98c6ce2dc62048b65a37b035758e21a3d09c116;p=lhc%2Fweb%2Fwiklou.git

mediawiki.content.json.css: Don't use funny fonts

* 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
---

diff --git a/resources/src/mediawiki/mediawiki.content.json.css b/resources/src/mediawiki/mediawiki.content.json.css
index 583dd39899..f86bfacd94 100644
--- a/resources/src/mediawiki/mediawiki.content.json.css
+++ b/resources/src/mediawiki/mediawiki.content.json.css
@@ -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;
 }