/*
this is a requirement for jquery-ui(-old) css
which the page should have already loaded
*/