//<![[CDATA[
function add_button() {
	if(document.all && !window.opera) {
		var target = document.getElementById('selected_button_column'); 
		var button = document.createElement('input'); 
		button.setAttribute('type', 'button'); 
		button.setAttribute('value', 'Copy'); 
		button.onclick = function() { copy_to_clipboard(); }
		
		target.appendChild(button);
	}
} 

function copy_to_clipboard() {
	var code_to_copy = document.getElementById('button_code').value; 
	var code = code_to_copy.createTextRange(); 
	code.execCommand('copy');
}

//]]>