From e0b32e1cc9192d6c6a3fbe17e5e8f009ee800a2a Mon Sep 17 00:00:00 2001
From: mfahampshire <maxhampshire@pm.me>
Date: Fri, 18 Aug 2023 17:47:48 +0200
Subject: [PATCH] updated css font

---
 documentation/docs/custom.css      | 3 +--
 documentation/operators/custom.css | 3 +--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/documentation/docs/custom.css b/documentation/docs/custom.css
index 170e91dd26..855f5eef5f 100644
--- a/documentation/docs/custom.css
+++ b/documentation/docs/custom.css
@@ -1,6 +1,5 @@
 :root {
-  --mono-font: "Open Sans", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono",
-    monospace, monospace;
+  --mono-font: Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace;
 }
 .coal {
   --bg: #121726;
diff --git a/documentation/operators/custom.css b/documentation/operators/custom.css
index 170e91dd26..855f5eef5f 100644
--- a/documentation/operators/custom.css
+++ b/documentation/operators/custom.css
@@ -1,6 +1,5 @@
 :root {
-  --mono-font: "Open Sans", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono",
-    monospace, monospace;
+  --mono-font: Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace;
 }
 .coal {
   --bg: #121726;