/* Search UI tweaks (base styles live in public.css). */
.search-form input:focus { outline: none; border-color: #1aa96a; box-shadow: 0 0 0 4px rgba(26,169,106,.12); }
.search-result mark { background: #e6ffb7; color: #073d28; padding: 0 2px; border-radius: 3px; }