5 Commits (8cc3bd12e3082166d7522f9a487125baf5d7fefa)

Author SHA1 Message Date
Michael Walker ba7b5edcdf Change type of catalog_search box from 'search' to 'text' for css reasons 9 years ago
Matěj Grabovský 7b33348a16 Fix source URL in comment 9 years ago
Matěj Grabovský 6b37abab85 Allow catalog search by a URL fragment (#s=...) 9 years ago
Matěj Grabovský 3d2ddb8c3b Make catalog search case-insensitive & instantaneous 9 years ago
Matěj Grabovský 32821745c6 Add a simple search functionality to the catalog 9 years ago