if (navigator.userAgent.match(/opera/i)) window.onload = function() {
	var i, elements;
	elements = document.getElementsByTagName("cite");
	for (i = 0; i < elements.length; i ++) elements[i].style.fontStyle = "italic";
	elements = document.getElementsByTagName("em");
	for (i = 0; i < elements.length; i ++) elements[i].style.fontStyle = "italic";
	elements = document.getElementsByTagName("strong");
	for (i = 0; i < elements.length; i ++) elements[i].style.fontWeight = "bolder";
};