add: tocmain.className = 'tochidden'; 
context: function toggleToc() {	var toc = document.getElementById('tocinside');	var showlink=document.getElementById('showlink');	var hidelink=document.getElementById('hidelink');	if(toc.style.display == 'none') {		toc.style.display = tocWas;		hidelink.style.display='';		showlink.style.display='none';	} else {		tocWas = toc.style.display;		toc.style.display = 'none';		hidelink.style.display='none';		showlink.style.display='';	}}
meta: 7966	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7966/f9b653aa7bfb7cce7783f6b1cab5bc5cb545b1b7/wikibits.js/buggy/skins/common/wikibits.js