window.addEvent('domready', function(){
2 var divs = $$(['docs', 'js', 'html', 'css']);
3 divs.each(function(div){
4 var link = $(div.id + 'code');
5 div.setStyle('display', 'none');
6 link.addEvent('click', function(e){
7 e = new Event(e);
8 divs.each(function(other){
9 if (other != div) other.setStyle('display', 'none');
10 });
11 div.setStyle('display', (div.getStyle('display') == 'block') ? 'none' : 'block');
12 e.stop();
13 });
14 });
15});