Code:

 


<script language=javascript>
<!--
function change(item,item2) {
var range = document.body.createTextRange();
range.collapse(true);
if (location.href.indexOf("action=") != -1 ) {
return false;
} else {
while (range.findText(item)) {
range.text=item2;
range.collapse(false);
}
}
}

change("Portal"," ");


// -->
</script>


Code:

 

<script type='text/javascript'>
<!--
// remove portal link
// code by Stefan

e = document.getElementById('submenu')
if (e && e.tagName == 'TABLE') {
e = e.rows[0].cells[0].getElementsByTagName('A')
for(n = 0; n < e.length && !e[n].href.match(/act=site/); n++);
if (e[n]){
pnt = e[n].parentNode;
for (nod = e[n].previousSibling;  nod && nod.tagName != 'A'; nod = nod.previousSibling);
for (;nod.nextSibling && nod.nextSibling.tagName != 'A'; pnt.removeChild(nod.nextSibling));
pnt.removeChild(nod.nextSibling)
}}

// -->
</script>