Adding code for the copy widget on <pre> elements