InterfaceMgr: fix height for opendiv since recent jQueryUI update