From 4343153649a95f77234f18545c41c08d3ce6fcd6 Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@users.mediawiki.org>
Date: Thu, 5 Jan 2012 09:24:16 +0000
Subject: [PATCH] additional monospaced font-family hacks

  font-family: monospace, monospace;
Is elegant and has my preference :-)

  font-family: monospace, DOESNOTEXISTREALLY;
Really make it obvious

follow r108123
---
 docs/uidesign/monospace.html | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/uidesign/monospace.html b/docs/uidesign/monospace.html
index 77da3b904d..7978571cda 100644
--- a/docs/uidesign/monospace.html
+++ b/docs/uidesign/monospace.html
@@ -31,6 +31,10 @@ font-family: Courier;'>
 font-family: Courier;
 </pre>
 
+<pre style='
+font-family: monospace, monospace;'>
+font-family: monospace, monospace;
+</pre>
 
 <pre style='
 font-family: monospace, "Courier New";'>
@@ -47,3 +51,8 @@ font-family: monospace, Verdana;'>
 font-family: monospace, Verdana;
 </pre>
 
+<pre style='
+font-family: monospace, DOESNOTEXISTREALLY;'>
+font-family: monospace, DOESNOTEXISTREALLY;
+</pre>
+
-- 
2.20.1