From 45fb992c9fa122db36335ebc7f0d77681fc2a159 Mon Sep 17 00:00:00 2001 From: Mathias Jakobsen Date: Mon, 23 Feb 2026 10:27:01 +0000 Subject: [PATCH] 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 --- .../js/features/source-editor/extensions/go-to-line.ts | 2 +- .../frontend/js/features/source-editor/extensions/search.ts | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/services/web/frontend/js/features/source-editor/extensions/go-to-line.ts b/services/web/frontend/js/features/source-editor/extensions/go-to-line.ts index 639725e67e..e6b6bed5bc 100644 --- a/services/web/frontend/js/features/source-editor/extensions/go-to-line.ts +++ b/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', diff --git a/services/web/frontend/js/features/source-editor/extensions/search.ts b/services/web/frontend/js/features/source-editor/extensions/search.ts index 9a6538c00f..40388c5a72 100644 --- a/services/web/frontend/js/features/source-editor/extensions/search.ts +++ b/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',