// přidá odkaz na tisk stránky
var anchorPrint = document.createElement('a');
anchorPrint.setAttribute('href', 'javascript: window.print();');
anchorPrint.setAttribute('title', 'Tisk stránky');
anchorPrint.appendChild(document.createTextNode('Tisk'));
var navigationParagraph = document.getElementById('navigation').getElementsByTagName('p')[0];
navigationParagraph.insertBefore(document.createTextNode(' | '), navigationParagraph.firstChild);
navigationParagraph.insertBefore(anchorPrint, navigationParagraph.firstChild);