Decrease button padding

options.css

@@ -106,7 +106,7 @@ button {
         font-family: "monospace";
         font-size: 18px;
         margin: 0 10px 10px 10px;
-        padding: 10px 40px;
+        padding: 10px 20px;
         position: relative;
         text-decoration: none;
 }