В связи с последним обновлением браузеров Chromium и Firefox,     
перестал функционировать старый скрипт выделения кода             
от mkusher, - сваял вариант-поправку, дополнительно сократив:

Новое выделение кода в блоке "Код"

(версия 2017)

В HTML верх:

<!-- Выделение кода в блоке "Код" // © Alex_63, версия 2017г. -->
<script type="text/javascript" src="https://forumstatic.ru/files/0015/c4/3f/26102.js"></script>
<script type="text/javascript">select_text.linkText = '
Выделить код' //текст ссылки</script>

Красным - Ваша надпись на ссылке, по умолчанию - "Выделить код".


Просьба скрипт не вынимать из подгружаемого файла и не перезаливать к себе, т.к. при последующих обновлениях браузеров могут потребоваться дополнительные правки, которые появятся только в исходном файле скрипта.


Внимание:

Старый код из HTML низ

Код
Код:
<script type="text/javascript">
function select_text(elem) {
	if(window.getSelection) {   
var s=window.getSelection();   
if(s.setBaseAndExtent){   
	s.setBaseAndExtent(elem,0,elem,elem.innerText.length-1);   
}
else {   
	var r=document.createRange();   
	r.selectNodeContents(elem);   
	s.removeAllRanges();   
	s.addRange(r);
}   
	}
	else if(document.getSelection){   
var s=document.getSelection();   
var r=document.createRange();   
r.selectNodeContents(elem);   
s.removeAllRanges();   
s.addRange(r);   
	}
	else if(document.selection){   
var r=document.body.createTextRange();   
r.moveToElementText(elem);   
r.select();
	}   
}
</script>
<script type="text/javascript">
var div = document.getElementById('pun-main').getElementsByTagName('div');
for(x in div){
	if(div[x].className=='code-box'){
div[x].getElementsByTagName('strong')[0].innerHTML = '<a href="#" onclick="select_text(this.parentNode.parentNode.childNodes[1].getElementsByTagName(\'pre\')[0]); return false;">Выделить код</a>';
	}
}
</script>

- Убираем!