Search improvements.

- Now finds holidays in addition to dates and events - Emojis added to mark different result types - Matching improvements: insensitive to diacritics, finds closest holiday/date to view, concise regex matching - Avoid jumping to dates immediately while browsing the result dropdown - Improved hotkey handling Ctrl+F (always focus and select)
2025-08-28 02:16:07 +00:00
parent 456905d699
commit 734d07f10c
2 changed files with 290 additions and 103 deletions
@@ -166,12 +166,6 @@ onBeforeUnmount(() => {
  width: 100%;
  padding-inline-end: 2rem;
 }
-.header-controls :deep(.search-bar) {
-  flex: 1 1 clamp(14rem, 40vw, 30rem);
-  max-width: clamp(18rem, 40vw, 30rem);
-  min-width: 12rem;
-  margin-inline-end: auto;
-}
 .toggle-btn {
  position: fixed;
  top: 0;