[galaxy-commits] galaxy-dist commit 41cf53bdcca2: Visual tweaks to new search UI