From a71f9a2bed863c7a9ceb1d9648832c540e7b450d Mon Sep 17 00:00:00 2001
From: Florian Festi <florian@festi.info>
Date: Mon, 13 Feb 2017 19:36:12 +0100
Subject: [PATCH] Web UI tweaks

---
 scripts/boxesserver | 15 +--------------
 scripts/self.css    | 22 ++++++++--------------
 2 files changed, 9 insertions(+), 28 deletions(-)

diff --git a/scripts/boxesserver b/scripts/boxesserver
index 05ac9f2..4497057 100755
--- a/scripts/boxesserver
+++ b/scripts/boxesserver
@@ -152,13 +152,7 @@ class BServer:
 <div>
 <div class="clear"></div>
 <hr />
-<div style="width: 100%; float: left;">
-
-
-
-
-
-        <h2 style="font-size: 1em; margin: 0px; "> <a href="/">generators</a></h2><h2 style="margin: 0px 0px 0px 20px;" > <span style="margin-right: 10px;"> >> <span>""", name, """</h2>
+<h2 style="margin: 0px 0px 0px 20px;" ><span>""", name, """</h2>
         <p>""", box.__doc__ or "", """</p>
 <form action="%s" method="GET" target="_blank">
         """ % (action)]
@@ -178,10 +172,6 @@ class BServer:
 <p><button name="render" value="1">Generate</button></p>
 </form>
 
-
-
-
-
 </div>
 <!--
 <div style="width: 5%; float: left;"></div>
@@ -255,9 +245,6 @@ flex cuts, holes and slots for screws and more high level functions.
 <div class="clear"></div>
 <hr />
 <div style="width: 100%; float: left;">
-
-
-<p>These are the available generators:</p>
 """ ]
         for nr, group in enumerate(self.groups):
             result.append('''<h3 onclick="showHide('%s')">%s</h3>\n<div id="%s">\n<ul>\n''' % (nr, group.title, nr))
diff --git a/scripts/self.css b/scripts/self.css
index e890540..53ac8cf 100644
--- a/scripts/self.css
+++ b/scripts/self.css
@@ -27,37 +27,31 @@ a 	{
 body {min-width: 996px;}
 
 h1 {
-	
-
     font-family: 'Amatic SC', cursive;
-    
     font-family: 'Luckiest Guy', cursive;
-
     font-family: 'Bungee Shade', cursive;
 
-    
-
-	font-size: 3em;
-	
-	}
+    font-size: 3em;
+}
 
 h2 {
-	font-family: 'Bungee Shade', cursive;
-
+    font-family: 'Bungee Shade', cursive;
     font-family: 'Amatic SC', cursive;
-    
     font-family: 'Luckiest Guy', cursive;
 
     font-size: 2.5em;
+}
 
-    
-	}
 h3 {
     padding: 5px;
     padding-left: 15px;
     margin: 0px;
 }
 
+h3::before {
+    content: "▶ ";
+}
+
 h3:hover {
 	background-color: #333;
 	color: #eee;