From 32207c1219991a94e1ba8ecb990c640dbc6f749e Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sun, 6 Feb 2022 18:50:16 -0500
Subject: [PATCH] Fix overly small font size in element picker

---
 src/css/epicker-ui.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/css/epicker-ui.css b/src/css/epicker-ui.css
index a7341b006..0b10bad92 100644
--- a/src/css/epicker-ui.css
+++ b/src/css/epicker-ui.css
@@ -73,7 +73,6 @@ html#ublock0-epicker,
 #ublock0-epicker section .codeMirrorContainer {
     border: none;
     box-sizing: border-box;
-    font: 11px monospace;
     height: 8em;
     max-height: 50vh;
     min-height: 1em;
@@ -200,7 +199,7 @@ html#ublock0-epicker,
     border: 1px solid transparent;
     cursor: pointer;
     direction: ltr;
-    font: 11px monospace;
+    font-family: monospace;
     white-space: nowrap;
 }
 #ublock0-epicker #candidateFilters .changeFilter li.active {