Chris@94: 
Chris@94: function togglePlugin(id) {
Chris@94:     var e = document.getElementById('plugs-' + id);
Chris@94:     var b = document.getElementById('plugs-showhide-' + id);
Chris@95:     if (window.getComputedStyle(e).display != 'none') {
Chris@94: 	e.style.display = 'none';
Chris@94: 	b.innerHTML = '▶ More';
Chris@94:     } else {
Chris@94: 	e.style.display = 'block';
Chris@94: 	b.innerHTML = '▼ Less';
Chris@94:     }
Chris@94: }
Chris@94: