change button style

diff --git a/index.php b/index.php
index c87d1444519d33d4f1e2d24cef17720662d3cdb3..285bce4b0629db42aa535952c71d28416f5789c6 100644 (file)
--- 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;