From 98fce171249a6e44421b9891d20f60430a32d239 Mon Sep 17 00:00:00 2001
From: the-djmaze <>
Date: Thu, 12 May 2022 12:46:13 +0200
Subject: [PATCH] Drop ugly DejaVu Sans font

---
 dev/Styles/@Boot.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/Styles/@Boot.css b/dev/Styles/@Boot.css
index 87cf109ef..c3b393522 100644
--- a/dev/Styles/@Boot.css
+++ b/dev/Styles/@Boot.css
@@ -1,5 +1,5 @@
 :root {
-	--fontSans: "DejaVu Sans", Verdana, Geneva, "Bitstream Vera Sans", "DejaVu LGC Sans", Arial, sans-serif;
+	--fontSans: Verdana, Geneva, "Bitstream Vera Sans", "DejaVu LGC Sans", Arial, sans-serif;
 	--fontSerif: "Nimbus Roman No9 L", "Times New Roman", Times, FreeSerif, serif;
 	--fontMono: "Liberation Mono", Monaco, Menlo, Consolas, "Courier New", FreeMono, Courier, monospace;
 }