Beautify the JavaScript of bookmarklet