minor: bookmarklet formatting