Improve CodeMirror 6 search form (#6943)

GitOrigin-RevId: c23ee425f8114aaf2b1669e086e501e348751431

services/web/frontend/extracted-translations.json

@@ -235,6 +235,7 @@
   "no_search_results": "",
   "no_symbols_found": "",
   "normal": "",
+  "of": "",
   "off": "",
   "official": "",
   "ok": "",
@@ -310,6 +311,7 @@
   "search_all": "",
   "search_bib_files": "",
   "search_close": "",
+  "search_command_all": "",
   "search_command_find": "",
   "search_command_go": "",
   "search_command_go_to_line": "",

services/web/frontend/stylesheets/core/css-variables.less

@@ -0,0 +1,16 @@
+:root {
+  --ol-blue: @ol-blue;
+
+  --ol-blue-gray-0: @ol-blue-gray-0;
+  --ol-blue-gray-1: @ol-blue-gray-1;
+  --ol-blue-gray-2: @ol-blue-gray-2;
+  --ol-blue-gray-3: @ol-blue-gray-3;
+  --ol-blue-gray-4: @ol-blue-gray-4;
+  --ol-blue-gray-5: @ol-blue-gray-5;
+  --ol-blue-gray-6: @ol-blue-gray-6;
+
+  --input-color: @input-color;
+  --input-border: @input-border;
+  --input-border-radius: @input-border-radius;
+  --input-border-focus: @input-border-focus;
+}

services/web/frontend/stylesheets/style.less

@@ -8,6 +8,7 @@
 
 // Core variables and mixins
 @import 'core/variables.less';
+@import 'core/css-variables.less';
 @import 'app/ol-style-guide.less';
 @import '_style_includes.less';
 @import '_ol_style_includes.less';

services/web/locales/en.json

@@ -1591,14 +1591,15 @@
   "search_command_go": "Go",
   "search_command_go_to_line": "Go to line",
   "search_command_replace": "Replace",
+  "search_command_all": "All",
   "search_current_match": "current match",
-  "search_match_case": "match case",
+  "search_match_case": "Match case",
   "search_next": "next",
   "search_on_line": "on line",
   "search_previous": "previous",
-  "search_regexp": "regexp",
-  "search_replace": "replace",
-  "search_replace_all": "replace all",
+  "search_regexp": "Regular expression",
+  "search_replace": "Replace",
+  "search_replace_all": "Replace All",
   "go_to_account_settings": "Go to Account Settings",
   "keep_your_account_safe": "Keep your account safe",
   "primary_email_check_question": "Is <0>__email__</0> still your email address?",