doc search: make keybindings work in non-webkit browsers