web: adjust navbar padding

Reduce the navbar vertical padding slightly for a more compact header.

Signed-off-by: Robin Jarry <rjarry@redhat.com>

Author: rjarry

pkg/web/static/style.css

@@ -63,8 +63,8 @@ header nav {
 	justify-content: space-between;
 	background: #222;
 	border-bottom: 1px solid #080808;
-	padding: 1em 2em;
-	font-size: 1.2em;
+	padding: 0.8em 1.6em;
+	font-size: 1.25em;
 }
 header a {
   color: #ccc;