From 59281bf496ae9aea7b19079a81bb9bad906e2778 Mon Sep 17 00:00:00 2001 From: Kelson Date: Fri, 12 Jul 2019 21:33:37 +0200 Subject: [PATCH] Increase a bit the taskbar padding --- static/server/taskbar.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static/server/taskbar.css b/static/server/taskbar.css index 2dee380..cdbcfe8 100644 --- a/static/server/taskbar.css +++ b/static/server/taskbar.css @@ -124,7 +124,7 @@ label[for=kiwixsearchbox] { } body { - padding-top: 30px !important; + padding-top: 40px !important; } /* Try to fix buggy stuff in jquery-ui autocomplete */