From fa599f2e48819bdb7e5068fd39aba1e04474971d Mon Sep 17 00:00:00 2001
From: /dev/urandom <dev.urandom@posteo.org>
Date: Wed, 2 Dec 2020 15:36:32 +0300
Subject: [PATCH] added a menu background image

---
 static/style.css.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/static/style.css.h b/static/style.css.h
index 95cd8c7..fc389a4 100644
--- a/static/style.css.h
+++ b/static/style.css.h
@@ -119,7 +119,9 @@ th, td {
 }
 
 .navbar {
-	padding: 6pt;
+	padding: 4px;
+	height: 24px;
+	background: #404A68 url("/menu_background.gif");
 }
 
 .footer {
@@ -250,7 +252,7 @@ th, td {
 }
 
 .itime-bar {
-	height: 6px;
+	height: 2px;
 	width: 100%;
 	margin-block: 2px;
 }