From 53c73c8f3d6767b9d486517c354888499574b334 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Weber?= Date: Sun, 31 Oct 2021 09:49:53 +0100 Subject: [PATCH] chore: adjust font-size after font upgrade #83 --- static/css/theme.css | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/static/css/theme.css b/static/css/theme.css index c8acb36b71..8511545bcd 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -168,7 +168,8 @@ textarea:hover, input[type="email"]:hover, input[type="number"]:hover, input[typ bottom: 0; left: 0; font-weight: 400; - font-size: 15px; + font-size: 15.25px; + line-height: 1.574; } #sidebar a { color: #ccc; @@ -408,10 +409,11 @@ textarea:hover, input[type="email"]:hover, input[type="number"]:hover, input[typ margin: 0; } body { + color: #323232 !important; font-family: "Work Sans", "Helvetica", "Tahoma", "Geneva", "Arial", sans-serif; font-weight: 300; - line-height: 1.6; - font-size: 18px !important; + line-height: 1.574; + font-size: 16.25px !important; } h2, h3, h4, h5, h6 { font-family: "Work Sans", "Helvetica", "Tahoma", "Geneva", "Arial", sans-serif; @@ -1105,11 +1107,6 @@ option { font-weight: bold; } -body { - font-size: 16px !important; - color: #323232 !important; -} - #body a.highlight, #body a.highlight:hover, #body a.highlight:focus { text-decoration: none; outline: none;