Add variable for border width

Signed-off-by: Marco Ambrosini <marcoambrosini@proton.me>

Author: marcoambrosini

apps/theming/css/default.css

@@ -49,6 +49,8 @@
   --default-font-size: 15px;
   --animation-quick: 100ms;
   --animation-slow: 300ms;
+  /** Border width for input elements such as text fields and selects */
+  --border-width-input: 1px; 
   --border-radius: 3px;
   --border-radius-large: 10px;
   --border-radius-rounded: 28px;

apps/theming/lib/Themes/DefaultTheme.php

@@ -186,6 +186,8 @@ public function getCSSVariables(): array {
 			'--animation-slow' => '300ms',
 
 			// Default variables --------------------------------------------
+			// Border width for input elements such as text fields and selects
+			'--border-width-input' => '1px',
 			'--border-radius' => '3px',
 			'--border-radius-large' => '10px',
 			'--border-radius-rounded' => '28px',