/* 
    Commented out as all pages seems to work anyway even without this file.
    TO DO: Find out where the live jquery UI Style comes from.
*/