Refs #1969: Minor UI improvements, including: (a) border of current style (on the style chooser) is now thicker; (b) “Current Style” titled border replaced by a tooltip (so it looks cleaner, like the Select panel).