Add keybindings for search/replace

and change terminal font size.