From afd0bc2279f2bb8c064bd31ce400d6092eeae4fb Mon Sep 17 00:00:00 2001
From: Dominic Zimmer <s8dozimm@stud.uni-saarland.de>
Date: Sat, 18 Jul 2020 11:58:23 +0200
Subject: [PATCH] Fix admin interface button size

---
 admin.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/admin.html b/admin.html
index 1060757..ec69ba8 100644
--- a/admin.html
+++ b/admin.html
@@ -25,10 +25,10 @@
       height: 1.2em;
       border-radius: 0.6em;
     }
-    .number {
+    #number {
         width: 8rem;
     }
-    .plusbutton {
+    #plusbutton {
         width: 3rem;
     }