docs: function(node, show) {
        node = $.splat(node);
        var st = show ? "" : "none", lab, that = this;
        $.each(node, function(n) {
          var lab = that.getLabel(n.id);
          if (lab) {
            lab.style.display = st;
          }
        });
      }