From 44819110170e045d178a2a125adc4c74863036e0 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Felix=20K=C3=A4stner?= <git@fpunktk.de>
Date: Tue, 2 Jun 2015 21:23:16 +0200
Subject: [PATCH] change button style

---
 index.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/index.php b/index.php
index c87d144..285bce4 100644
--- a/index.php
+++ b/index.php
@@ -72,7 +72,9 @@ input {
 }
 button {
     margin: 0px -5px 3mm 0px; /* trbl */
-    padding: -4px;
+    padding: 3px;
+    background: none;
+    border: 1px solid black;
     width: 13ex; /* 13ex 11ch */
     width: 11ch; /* used twice because some browsers don't understand it */
     height: 13mm;
-- 
2.30.2