window.copyToClipboard = function( element ) { var text = $( '#' + element ).text().trim(); if ( navigator.clipboard && navigator.clipboard.writeText ) { navigator.clipboard.writeText( text ); } else { var $temp = $( "