add margins to buttons

ekut-es · Nov 2, 2023 · 62e01c0 · 62e01c0
1 parent 99f0857
commit 62e01c0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/webgui/index.html b/webgui/index.html
@@ -39,22 +39,22 @@
                 <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
                     >
                         <img src="svg/pause.svg" />
                     </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" />