From 056b0dde0c16f0004c9fc51ac779073331590566 Mon Sep 17 00:00:00 2001 From: Alexandre ZANNI <16578570+noraj@users.noreply.github.com> Date: Sat, 11 Nov 2023 09:51:07 +0100 Subject: [PATCH] set proper font name font size (#56) fix #55 --- src/preview/browser/statics/style.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/preview/browser/statics/style.css b/src/preview/browser/statics/style.css index 478ca69..5a22146 100644 --- a/src/preview/browser/statics/style.css +++ b/src/preview/browser/statics/style.css @@ -49,8 +49,8 @@ .font-name { border-top: 2px solid #222; font-family: sans-serif; - font-size: 2px; + font-size: 15px; padding-left: 0.5em; padding-top: 0.8em; } - \ No newline at end of file +