From ef6aaee2bdf9129296f61ce8ff902ec377b8ed17 Mon Sep 17 00:00:00 2001
From: Aitur <artur.kunz@ruhr-uni-bochum.de>
Date: Mon, 11 May 2020 15:47:33 +0200
Subject: [PATCH] changed font family and font size to better fit inside header
---
static/css/base.css | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/static/css/base.css b/static/css/base.css
index ecb2b76..82e762c 100644
--- a/static/css/base.css
+++ b/static/css/base.css
@@ -31,8 +31,8 @@ html {
text-align: center;
color: var(--bar-text);
- font-family: monospace;
- font-size: 1.9em;
+ font-family: "Lucida Console", Monaco, monospace;
+ font-size: 1.6em;
font-weight: 800;
background-color: var(--bar-bg);
@@ -44,7 +44,6 @@ html {
height: 35px;
box-sizing: content-box;
padding: 5px;
- padding-top: 10px;
}
#header span {
--
GitLab