annotate bits.js @ 95:16bcb88b430a rdfquery

A lot of layout fixing for plugin list embedded in page

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