Fix search on Mozilla Firefox and implement quick search for the new UI

Fixes #167 and implements and closes #173.