if (top.location !== self.location) {
	top.location = self.location;
}

function changeStyle(style) {
	var div = document.getElementById('article_content');
	if (div) {
		div.className = style;
	}
}


Event.observe(document, 'dom:loaded', function() {
	var images = document.getElementsByTagName('img');
	for (i = 0; i < images.length; i++) {
		images[i].title = images[i].alt;
	}
}, false);