Double border radius in some areas

Author: celonymire

src/webview/AutoresizeTextarea.svelte

@@ -322,7 +322,7 @@
     white-space: pre;
     padding: 4px;
     border: 1px solid var(--vscode-editorWidget-border);
-    border-radius: 2px;
+    border-radius: 4px;
     box-sizing: border-box;
     background: var(--vscode-editor-background);
     width: 100%;

src/webview/judge/App.svelte

@@ -278,7 +278,7 @@
     box-sizing: border-box;
     padding: 4px;
     border: 1px solid var(--vscode-input-border);
-    border-radius: 2px;
+    border-radius: 4px;
     background: var(--vscode-input-background);
     color: var(--vscode-input-foreground);
   }

src/webview/judge/TestcaseToolbar.svelte

@@ -327,7 +327,7 @@
     align-items: center;
     justify-content: center;
     align-self: stretch;
-    border-radius: 2px;
+    border-radius: 4px;
     padding: 3px;
     border: none;
     background: transparent;

src/webview/stress/App.svelte

@@ -289,7 +289,7 @@
     cursor: pointer;
     border: 1px solid var(--vscode-checkbox-border, var(--vscode-input-border));
     background: var(--vscode-checkbox-background, var(--vscode-input-background));
-    border-radius: 2px;
+    border-radius: 4px;
     display: flex;
     align-items: center;
     justify-content: center;

src/webview/stress/StateToolbar.svelte

@@ -236,7 +236,7 @@
     align-items: center;
     justify-content: center;
     align-self: stretch;
-    border-radius: 2px;
+    border-radius: 4px;
     padding: 3px;
     border: none;
     background: transparent;