change notes 2024-01-29January 29, 2024 Fixed CSS for the search-box so that the left-bracket doesn't shrink in mobile.