Array.from(document.getElementsByTagName('pre')).forEach((element) => {
	element.setAttribute('tabindex', '0');
});