// set visibility of an element
function setvisible(ID,status){
document.getElementById(ID).style.visibility=status;
}
// function to force very soft reloading of pages when browser resizes
function onResizeProc(){window.history.go(0);}
// function for the footer of each page to re-space vertically
function resize_wrap_padding(){
var wrap_ele=document.getElementById("wrap");
var wrap_height=wrap_ele.offsetHeight;
var win_height=document.documentElement.clientHeight;
var spare_vspace=win_height-wrap_height-40; // allow for margins;
var wrap_tmargin=(Math.round(spare_vspace*0.4))+20;
if (wrap_tmargin>0){
wrap_ele.style.marginTop=wrap_tmargin + "px";
}
}
// function to make maincontentinner scroll if needed
function resize_maincontentinner(){
var win_height=document.documentElement.clientHeight;
var ele=document.getElementById("maincontentinner");
var maincontent_clientheight=ele.clientHeight;
var max_height=win_height-170-30-28-10; // allowing for top banner, margins and padding
if(max_height<350)max_height=370;
if(maincontent_clientheight>max_height){
maincontent_clientheight=max_height-16;
ele.style.height=maincontent_clientheight + "px";
}
}
blatstr="";
blatstr+="mai";
blatstr+="l@s";
blatstr+="ilv";
blatstr+="erf";
blatstr+="en-";
blatstr+="web";
blatstr+=".c";
blatstr+="om";
function blat(){
document.write("" + blatstr + "");
}
// function to highlight whichever element is in use in left menu
function highlight(ID){
document.getElementById(ID).style.color="#f91e06";
}
// function to force horizontal spacing as IE was getting it wrong
function sort_hspace(){
var minw=document.getElementById("sfw").offsetWidth + document.getElementById("maincontentinner").offsetWidth + 30;
var win_width=document.documentElement.clientWidth;
var width_to_set=minw;
if(width_to_set");
}