add: hidelink.style.display='none'; showlink.style.display='';  
context: function toggleToc() {	var toc = document.getElementById('tocinside');	var tog = document.getElementById('toctoggle');	if(toc.style.display == 'none') {		toc.style.display = tocWas;		// tog.innerHtml = tocHide;	} else {		tocWas = toc.style.display;		toc.style.display = 'none';		// tog.innerHtml = tocShow;	}}
meta: 2776	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2776/4e98711e3c5c00c426e4a52ac2bdaf51e10c04b6/wikibits.js/clean/stylesheets/wikibits.js