// Filters the post list as you type
(function () {
  var f = document.getElementById('filter'), rows = document.querySelectorAll('#rows li');
  if (!f) return;
  f.addEventListener('input', function () {
    var q = f.value.trim().toLowerCase();
    rows.forEach(function (r) { r.hidden = q && r.getAttribute('data-text').indexOf(q) === -1; });
  });
})();