Если есть желание в онлайн справке сделать кнопку копирования рабочей, то сделать замену
<a href="javascript:ClipBoard();">
на
<a href="javascript:ClipBoard(copytext);">
и в конце кода страницы добавить
<script src="../copy.js"></script>
и в папку положить файл copy.js
function ClipBoard(NumBlok) {
var input = document.createElement('textarea');
if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4)) // IE (4+) only
input.innerText = NumBlok.innerText;
else
input.innerHTML = NumBlok.innerText;
document.body.appendChild(input);
input.select();
document.execCommand('copy');
document.body.removeChild(input);
}
При этом можно удалить от <textarea до </object>
Можно проверить
тут, что это работает.
Обновил у себя, вот архив (ещё стрелки "в корень" и "в раздел" сделал картинками)
