From 67e749a73a01482f2ccc42d13a95dc72ba8ee59a Mon Sep 17 00:00:00 2001 From: Brian Vaughn Date: Thu, 18 Jul 2019 16:28:20 -0700 Subject: [PATCH] Tweaked modal font size style --- src/devtools/views/ModalDialog.css | 1 + 1 file changed, 1 insertion(+) diff --git a/src/devtools/views/ModalDialog.css b/src/devtools/views/ModalDialog.css index f1971b6fab..3819a592aa 100644 --- a/src/devtools/views/ModalDialog.css +++ b/src/devtools/views/ModalDialog.css @@ -21,6 +21,7 @@ padding: 0.5rem; border: 1px solid var(--color-border); border-radius: 0.25rem; + font-size: var(--font-size-sans-normal); } .Title {