From ebabeab8c31b8f8a0e92568b188cdb610d094013 Mon Sep 17 00:00:00 2001
From: Alex Heller <st162467@stud.uni-stuttgart.de>
Date: Thu, 8 Jun 2023 19:31:59 +0200
Subject: [PATCH] Removed clipping when many settings changed

---
 javascript/style.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/javascript/style.css b/javascript/style.css
index c14e19200..11dfe1e4f 100644
--- a/javascript/style.css
+++ b/javascript/style.css
@@ -293,7 +293,6 @@ div#extras_scale_to_tab div.form{
 }
 
 #settings_result{
-    height: 1.4em;
     margin: 0 1.2em;
 }