window.onload = function() {
	if (typeof document.getElementsByTagName=='undefined') return;
	var da = document.getElementById('dotyAttr');
	var mh = document.getElementById('mainHeading');
	da.className = 'dotyAttr';
	mh.className = 'margined';
	mh.parentNode.insertBefore(da, mh.nextSibling);
}