From 80259364800da866e63d8807efd2b3dfab343258 Mon Sep 17 00:00:00 2001
From: Matthias Metelka <62722460+kleinerpirat@users.noreply.github.com>
Date: Wed, 2 Nov 2022 09:27:37 +0100
Subject: [PATCH] Add margin to buttons in reviewer (#2161)

---
 ts/reviewer/reviewer.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ts/reviewer/reviewer.scss b/ts/reviewer/reviewer.scss
index 80d7abe46..aafdd61d5 100644
--- a/ts/reviewer/reviewer.scss
+++ b/ts/reviewer/reviewer.scss
@@ -72,6 +72,10 @@ code#typeans {
     background: #ccc;
 }
 
+button {
+    margin: 1em 0.5em;
+}
+
 .replay-button {
     text-decoration: none;
     display: inline-flex;