Changes in search box, fixes #5647

Add multi repository options to the Dominion theme