Merge pull request #31735 from overleaf/mj-cm6-input-border-radius

[web] Reduce border radius of search and go-to-line forms

GitOrigin-RevId: 041d8587e0e1d10fcc2e8daf943e6bc0383662c2

services/web/frontend/js/features/source-editor/extensions/go-to-line.ts

@@ -41,7 +41,7 @@ const gotoLineTheme = EditorView.baseTheme({
         backgroundColor: 'var(--bg-primary-themed)',
         border: '1px solid var(--border-primary-themed)',
         backgroundImage: 'none',
-        borderRadius: 'var(--border-radius-full)',
+        borderRadius: 'var(--border-radius-base)',
         boxShadow: 'inset 0 1px 1px rgb(0 0 0 / 8%)',
         transition:
           'border-color ease-in-out .15s, box-shadow ease-in-out .15s',

services/web/frontend/js/features/source-editor/extensions/search.ts

@@ -342,7 +342,7 @@ const searchFormTheme = EditorView.theme({
   '.ol-cm-search-input-group': {
     backgroundColor: 'var(--bg-primary-themed)',
     border: '1px solid var(--border-primary-themed)',
-    borderRadius: '20px',
+    borderRadius: 'var(--border-radius-base)',
     width: '100%',
     maxWidth: '50em',
     display: 'inline-flex',
@@ -354,7 +354,7 @@ const searchFormTheme = EditorView.theme({
     '& input[type="text"]': {
       background: 'none',
       boxShadow: 'none',
-      borderRadius: '20px',
+      borderRadius: 'var(--border-radius-base)',
     },
     '& input[type="text"]:focus': {
       outline: 'none',