From 342cebaba6c6592288d81253ddb9eb493015036c Mon Sep 17 00:00:00 2001
From: Fomafix <fomafix@googlemail.com>
Date: Wed, 14 Jan 2015 10:26:55 +0000
Subject: [PATCH] Use font-family: monospace, Courier

Use
   font-family: monospace, Courier
instead of
   font-family: monospace, "Courier New"
like in resources/src/mediawiki.skinning/elements.css from core.

Change-Id: I87145f8254d34b6d00d76f22c3d0819b9ea5839f
---
 modules/jquery.wikiEditor.toolbar.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/jquery.wikiEditor.toolbar.css b/modules/jquery.wikiEditor.toolbar.css
index 3148952a..09cf3bee 100644
--- a/modules/jquery.wikiEditor.toolbar.css
+++ b/modules/jquery.wikiEditor.toolbar.css
@@ -253,7 +253,7 @@
 	vertical-align: top;
 }
 .wikiEditor-ui-toolbar .section-help .page-table td.cell-syntax {
-	font-family: monospace, "Courier New";
+	font-family: monospace, Courier;
 }
 .wikiEditor-ui-toolbar .section-help .page-table td.cell-syntax,
 .wikiEditor-ui-toolbar .section-help .page-table td.cell-result {
@@ -276,7 +276,7 @@
 	color: black;
 	text-decoration: none;
 	cursor: pointer;
-	font-family: monospace, "Courier New";
+	font-family: monospace, Courier;
 	font-size: 1.25em;
 	line-height: 1;
 }