Mathias JakobsenandCopybot 39b4581e1d Merge pull request #26735 from overleaf/mj-system-theme ...

[web] Add new system theme to the editor

GitOrigin-RevId: b65083c5e96abc493556e901c861689cb7e3bbf7

2025-07-14 08:05:37 +00:00

..

full-project-match-counts.tsx

…

full-project-search-button.tsx

…

full-project-search-modifiers.tsx

…

full-project-search-results.tsx

…

full-project-search-ui.tsx

Merge pull request #26735 from overleaf/mj-system-theme

2025-07-14 08:05:37 +00:00

full-project-search.tsx

…

matched-hit-highlight.tsx

…

matched-hit.tsx

…