Whitespace cleanup
Patch jquery.overlay with jquery.browser support to work with new jQuery versions. Closes #701.