//Syntax Highlighter code
function showHideCodeDiv(id, show)
{
	//Check that the two div's exist in the document
	var openDiv 	= document.getElementById('open' + id);
	var closeDiv 	= document.getElementById('closed' + id);
	
	//Make sure they exist
	if(openDiv != null && closeDiv != null)
	{
		//If they do decide whether we're hiding or showing the div
		if(show)
		{
			openDiv.style.display='none'
			closeDiv.style.display='block'
		}else{
			openDiv.style.display='block'
			closeDiv.style.display='none'
		}
	}
}

function styleAbbr() {
	var oldBodyText, newBodyText, reg
	if (isIE) {
		oldBodyText = document.body.innerHTML;
		reg = /<abbr([^>]*)>([^<]*)<\/abbr>/g;
		newBodyText = oldBodyText.replace(reg, '<abbr $1><span class=\"abbr\" $1>$2</span></abbr>');
		document.body.innerHTML = newBodyText;
	}
}

window.onload = function(){
  styleAbbr()
};

isIE = (document.all) ? true:false;