From e5790ca013dc704c30b480b0f86f887bb98969c7 Mon Sep 17 00:00:00 2001
From: Erik Thuning <boooink@gmail.com>
Date: Wed, 12 Jun 2019 13:38:18 +0200
Subject: [PATCH] Changed the menu background to a css gradient

---
 images/head-menu-row-repeater.gif | Bin 744 -> 0 bytes
 template.css                      |  15 ++++++---------
 2 files changed, 6 insertions(+), 9 deletions(-)
 delete mode 100644 images/head-menu-row-repeater.gif

diff --git a/images/head-menu-row-repeater.gif b/images/head-menu-row-repeater.gif
deleted file mode 100644
index ec1eaa72fe7295d282d37df59042edfb10f4bab3..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 744
zcmc(c%S%*o9L29W&J2b)nNp%7WG@%9&<GqeL<?Vy`A%9z2|);fP|FrF=GzR@UQ|9B
z!7+vMK{hs#jV-j7rW?n!ncw~W?)^RP(-wuan67_C-`(LH4xhufxU|Tbb0v*C%!zdz
z#+WgN5F$iG0%n9t5>-_lA>Pms@PYsZj1)yf5KxL$T>&u6WQwssi6}`5f`mzmtSVGu
zm=b1qOqQ7<V38WFNZ`YO5GIO<2O%Coo=1i)Vv2Z(2@4}Z(-b0NXao^t6zi(S7$H;v
z00Iz#e3(g^uK&^$U7$?lflMe-uq@FKG{7X8U<ix_;!hq35CLFtQc)BkgyC>lQ52px
zRtS<LX__X>^7i(2C=}9loe-j`Y9tcj{@)$iF-37)9p~6Z*!>A-i8R%@n{T(YwzYS3
zc6HzBxm(qHudo09gNKhE_t!jqHZV9e{M<7#STX7ydoez4%d$;OPI;X<6&K$4=HB}K
z`4z5rfd!xA!^cIx%VKeTTVDCTx_ZzRSGgYC__4WVKE4I`jkxmi1iQ#2S&{M%n3J*-
z)Zc&1$w>t%sZkLwIyTkX*xH>|eEGC9@M?IW&6Z+z2AcPDT53-;Y%WfEisE8!CT0u;
zJWG9vW^Zca)YamBwLN9mvZ9*4K5^b){-yb2&G9AfSo^t|jH>t&hvVYP$k^Iwr6;d2
z)1B`&RZlk@<<2y9rCUwycGv5P;AF1#NNIKb;>K)aA^g<xx4tDhrnD?G_<8na=>0AG
zdS><60@Hl^{=GZBZfl3FDBU$s=9@y+lieA?FTQEKJe2K9K0h}@*St03m#&|(ak>8h
D&Q6F~

diff --git a/template.css b/template.css
index 1b16325..d3d3395 100644
--- a/template.css
+++ b/template.css
@@ -212,21 +212,18 @@ button:disabled, input[type="submit"]:disabled {
 }
 
 #menu {
-    height: 35px;
-    border-top: 0px none;
-    background-image: url("images/head-menu-row-repeater.gif");
-    background-position: left bottom;
-    background-repeat: repeat-x;
-    background-color: #002E5F;
+    background-image: linear-gradient(#002e5f,
+                                      #002e5f 4px,
+                                      #f1f1f1 4px,
+                                      #dfdfdf);
     margin: 0px;
     font-size: 130%;
     position: relative;
 }
 
 #menu .item {
-    padding: 8px 12px;
-    margin-left:6px;
-    margin-right: 6px;
+    padding: 8px 12px 4px;
+    margin: 0 6px;
     text-decoration: none;
     color: #005B7F;
     height: 100%;