Normalise the jQuery UI menu font
Visual tweak to spinner button sizing
Style up the new jQuery UI Selectmenu widget properly