set font-size for search terms box, closes #7