From befcbfc8eb6cdb2e8f5f4d6e2e60663788ec34e2 Mon Sep 17 00:00:00 2001
From: Marc Beninca <marc@beninca.link>
Date: Sat, 1 Jul 2023 09:34:15 +0200
Subject: [PATCH] hovertab

---
 build.py | 18 ++++--------------
 1 file changed, 4 insertions(+), 14 deletions(-)

diff --git a/build.py b/build.py
index 4f8f8d3..4ca179b 100755
--- a/build.py
+++ b/build.py
@@ -202,6 +202,10 @@ font-weight: bold;
 margin: 0;
 padding: .5em 1.5em;
 }}
+.tabs > label:hover {{
+background: linear-gradient(rgba(64,64,64,0), rgba(64,64,64,1));
+color: rgb(192,0,0);
+}}
 .tabs > div {{
 margin: 0
 padding: 1em 0 0 0;
@@ -257,24 +261,10 @@ text-align: center;
 border: none;
 height: 4em;
 }}
-
 /*******************************************************************************
-
-* {{
-box-sizing: border-box;
-//margin: 0;
-//padding: 0;
-}}
-
 body {{
 font-size: 1.25em;
 }}
-
-nav a {{
-#color: rgb(128,128,0);
-padding: .25em .5em;
-//transition: all .5s;
-}}
 '''
     js_file = os.path.join(js, 'index.js')
     js_text = f'''\