From cc796e4dfc52f533353110e1c0e4e25cc07b56b1 Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Wed, 12 Jan 2022 17:19:16 +0100
Subject: [PATCH] Webconfig: Remove unused font declaration

This was for <code> tags, which we don't have here. The rest is
already all monospace and Source Code Pro has bugs on macOS.
---
 share/tools/web_config/fishconfig.css | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css
index 761fcace1..ac56d1d1d 100644
--- a/share/tools/web_config/fishconfig.css
+++ b/share/tools/web_config/fishconfig.css
@@ -14,11 +14,6 @@ body {
     border-radius: 8px;
 }
 
-code {
-    font-family: "Source Code Pro", "DejaVu Sans Mono", Menlo, "Ubuntu Mono", Consolas, Monaco,
-        "Lucida Console", monospace, fixed;
-}
-
 #parent {
     width: 100%;
     min-height: 480px;