docs: function(str) {
      var results = [];
      for (var name in PDoc.elements) {
        if (name.toLowerCase().include(str.toLowerCase()))
          results.push(PDoc.elements[name]);
      }
      return results;
    }