Resize elements in a web page using this JavaScript extension