From 62e01c02b9af262ebf41ff48a674164b9884dc0f Mon Sep 17 00:00:00 2001
From: Michael Kuhn <michael.kuhn@uni-tuebingen.de>
Date: Thu, 2 Nov 2023 17:55:22 +0100
Subject: [PATCH] add margins to buttons

---
 webgui/index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/webgui/index.html b/webgui/index.html
index acd18d13..14bdc6bd 100644
--- a/webgui/index.html
+++ b/webgui/index.html
@@ -39,14 +39,14 @@
                 <div class="col-auto">
                     <button
                         id="button-run-simulation-id"
-                        class="btn btn-success btn-sm control-button"
+                        class="btn btn-success btn-sm control-button me-1"
                         title="run simulation"
                     >
                         <img src="svg/start.svg" />
                     </button>
                     <button
                         id="button-pause-simulation-id"
-                        class="btn btn-warning btn-sm control-button"
+                        class="btn btn-warning btn-sm control-button me-1"
                         title="pause simulation"
                         disabled
                     >
@@ -54,7 +54,7 @@
                     </button>
                     <button
                         id="button-step-simulation-id"
-                        class="btn btn-primary btn-sm control-button"
+                        class="btn btn-primary btn-sm control-button me-1"
                         title="step"
                     >
                         <img src="svg/next.svg" />