Compiled jquery.tools