From 2c4508de83ce210991c2cad47e5d01583c397497 Mon Sep 17 00:00:00 2001
From: Michal Vasilek <michal@vasilek.cz>
Date: Sat, 19 Jun 2021 21:31:37 +0200
Subject: [PATCH] css: fix padding in the headerbar

---
 static/css/packages.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/static/css/packages.css b/static/css/packages.css
index 32e9794..541f4cc 100644
--- a/static/css/packages.css
+++ b/static/css/packages.css
@@ -35,3 +35,8 @@ li > aside, .masked > aside {
 .archs-per-version a {
     white-space: nowrap;
 }
+
+#void-collapsed-navbar {
+    padding-right: 15px;
+    padding-left: 15px;
+}