reduce style for the jquery ui, use different style in dependence of user settings
reduce style for the jquery ui, use different style in dependence of user settings