Transplanted what (very little) we need from jQueryUI's css to restore functional parity with master for now. Fixes the slider amongst other things. Removed the obsolete jQuery UI theme files.