JS bookmarklet for highlighting html elements