function pushIn(element)
 {
     element.style.borderTop = "1px solid #666666";
     element.style.borderRight = "1px solid #ffffff";
     element.style.borderBottom = "1px solid #ffffff";
     element.style.borderLeft = "1px solid #666666";
 }

 function resetButton(element)
 {
     element.style.borderTop = "1px solid #ECECEC";
     element.style.borderRight = "1px solid #ECECEC";
     element.style.borderBottom = "1px solid #ECECEC";
     element.style.borderLeft = "1px solid #ECECEC";
 }

 function hoverButton(element)
 {
     element.style.borderTop = "1px solid #ffffff";
     element.style.borderRight = "1px solid #666666";
     element.style.borderBottom = "1px solid #666666";
     element.style.borderLeft = "1px solid #ffffff";
 }

 function disableHighlighting()
 {
     document.getElementById("highlightPreviousDiv").className = "doNotDisplay";
     document.getElementById("highlightPreviousGreyDiv").className = "display";
     document.getElementById("highlightNextDiv").className = "doNotDisplay";
     document.getElementById("highlightNextGreyDiv").className = "display";
     document.getElementById("downloadHighlightDiv").className = "doNotDisplay";
     document.getElementById("downloadHighlightGreyDiv").className = "display";
 }

 function enableHighlighting()
 {
     document.getElementById("highlightPreviousDiv").className = "display";
     document.getElementById("highlightPreviousGreyDiv").className = "doNotDisplay";
     document.getElementById("highlightNextDiv").className = "display";
     document.getElementById("highlightNextGreyDiv").className = "doNotDisplay";
     document.getElementById("downloadHighlightDiv").className = "display";
     document.getElementById("downloadHighlightGreyDiv").className = "doNotDisplay";
 }

function printArticle()
{
	eksIframe.focus();
	eksIframe.print();
}