From cd736b515ca75f21c6b88dd0db64d35f7aa8da67 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sat, 27 Jan 2024 07:54:37 -0500
Subject: [PATCH] Fix bad CSS style

---
 src/css/logger-ui.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/css/logger-ui.css b/src/css/logger-ui.css
index 14c49e34b..baf410308 100644
--- a/src/css/logger-ui.css
+++ b/src/css/logger-ui.css
@@ -967,7 +967,7 @@ body.dirty .netFilteringDialog > div.panes > .dynamic > .toolbar #saveRules {
     background-color: rgb(var(--primary-70) / 40%);
     }
 #loggerExportDialog .output {
-    font: smaller mono;
+    font-size: small;
     height: 80vh;
     padding: 0.5em;
     white-space: pre-wrap;