From 7097175c6f30b60ad135a8504c9f5a23c3780d56 Mon Sep 17 00:00:00 2001 From: cmdr2 Date: Tue, 22 Nov 2022 11:07:50 +0530 Subject: [PATCH] CSS tweak for logo and version --- ui/index.html | 5 ++++- ui/media/css/main.css | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ui/index.html b/ui/index.html index 25a94a13..1b55499c 100644 --- a/ui/index.html +++ b/ui/index.html @@ -20,7 +20,10 @@
diff --git a/ui/media/css/main.css b/ui/media/css/main.css index 0cf83302..cc818800 100644 --- a/ui/media/css/main.css +++ b/ui/media/css/main.css @@ -131,6 +131,7 @@ code { } #logo small { font-size: 11pt; + margin-left: 7pt; } #editor { background: var(--background-color1);