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