From 902468ea8e4430c614fc779d73e997ce37677223 Mon Sep 17 00:00:00 2001
From: girst <girst@users.noreply.github.com>
Date: Tue, 22 Oct 2019 19:59:09 +0200
Subject: [PATCH] css tweaks

---
 assets/css/default.css | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/assets/css/default.css b/assets/css/default.css
index 313e35d6..2607d452 100644
--- a/assets/css/default.css
+++ b/assets/css/default.css
@@ -270,19 +270,15 @@ input[type="search"]::-webkit-search-cancel-button {
   margin: 0 1em;
 }
 
-.welcome-box {
-  padding: 0 1em ;
-}
-
-.welcome-box h1 {
+.welcome-box h1,
+.welcome-box p {
   font-size: 1em;
-  margin-bottom: 0;
+  margin: 0.25em 0;
 }
 
 #dismiss_welcome {
   font-size: small;
   float: right;
-  margin: 1em 0;
 }
 
 /*