radio group as buttonset
custom jqueryui theme for #scenario-box div
decrease font-size for buttons in filters section
make dimension_options query return short_label where required
RadioSelector displays short_label if available