From 996d6d79dd3f939250ed6380f3eec024c57e648c Mon Sep 17 00:00:00 2001
From: SinusFox <61253950+SinusFox@users.noreply.github.com>
Date: Fri, 11 Oct 2024 16:18:20 +0200
Subject: [PATCH] design fix

---
 src/app/globals.css | 8 ++++++--
 src/app/scripts.ts  | 1 +
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/app/globals.css b/src/app/globals.css
index c7a9fd3..790cffc 100644
--- a/src/app/globals.css
+++ b/src/app/globals.css
@@ -160,11 +160,13 @@ body {
 }
 
 .dropdown-custom {
-  width: 20%;
+  width: 150px;
   background-color: black;
   color: white;
   border: none;
   padding: 10px;
+  border-radius: 20px;
+  margin: 10px;
   font-size: 16px;
   cursor: pointer;
 }
@@ -177,8 +179,10 @@ body {
   width: 150px;
   background-color: black;
   color: white;
-  border: none;
+  border: 2px solid #5353535c;
   padding: 10px;
+  border-radius: 20px;
+  margin: 10px;
   font-size: 16px;
   cursor: pointer;
 }
diff --git a/src/app/scripts.ts b/src/app/scripts.ts
index 9d3ddcb..036d350 100644
--- a/src/app/scripts.ts
+++ b/src/app/scripts.ts
@@ -64,6 +64,7 @@ function walltimeStart() {
 
 export function isInputValidRegex(obj: string | undefined, subj: string | undefined, bounds: string | undefined, vars: string | undefined): boolean {
   customLog("input_checks_start");
+  customLog("");
 
   // standard case: input is undefined - invalid
   if (obj === undefined || obj === null || subj === undefined || subj === null || bounds === undefined || bounds === null || vars === undefined || vars === null) {