From edee3e5eb274ece8522577a209bd16c708bbd4d0 Mon Sep 17 00:00:00 2001
From: Aaron Gyes <me@aaron.gy>
Date: Sat, 9 Apr 2016 22:28:00 -0700
Subject: [PATCH] Use fonts found on terminals for the web config.

Instead of just using Courier New across the board, have the
browser try several likely available fonts before defaulting
to the system's "monospace".

Thanks @MarkGriffiths
Fixes #2924
---
 share/tools/web_config/fishconfig.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css
index bba26b41b..b4dcd548c 100644
--- a/share/tools/web_config/fishconfig.css
+++ b/share/tools/web_config/fishconfig.css
@@ -1,6 +1,6 @@
 body {
     background-color: #292929;
-    font-family: Courier, "Courier New", monospace;
+    font-family: "Source Code Pro", "DejaVu Sans Mono", Menlo, "Ubuntu Mono", Consolas, Monaco, "Lucida Console", monospace, fixed;
     color: white;
 }