UI: more stylesheet tweaks