From 2a1d536ec6ba2e435df48517e4fe47f6977dad37 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Wed, 21 Sep 2022 21:49:17 +0200
Subject: [PATCH] Restore the old fonts in the debugger (PR 15438 follow-up)

The changes in PR 15438 affected the debugger as well, which means that some of the panels/buttons look (in my opinion) a bit less nice than before.
---
 web/debugger.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/web/debugger.css b/web/debugger.css
index 4de0814ab..9a7233b49 100644
--- a/web/debugger.css
+++ b/web/debugger.css
@@ -13,6 +13,12 @@
  * limitations under the License.
  */
 
+#PDFBug,
+#PDFBug input,
+#PDFBug button,
+#PDFBug select {
+  font: message-box;
+}
 #PDFBug {
   background-color: rgba(255, 255, 255, 1);
   border: 1px solid rgba(102, 102, 102, 1);