themes: remove remains of jquery ui theme