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;
 }

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) {