https://www.sktime.org/files/en/stable/_static/js/dynamic_table.js

1$(document).ready(function () {
2  $("#myInput").on("keyup", function () {
3	var value = $(this).val().toLowerCase();
4	$("tr").filter(function () {
5	  $(this).toggle($(this).text().toLowerCase().indexOf(value) > -1);
6	});
7  });
8});
9
10function includeHTML() {
11  var z, i, elmnt, file, xhttp;
12  /*loop through a collection of all HTML elements:*/
13  z = document.getElementsByTagName("*");
14  for (i = 0; i < z.length; i++) {
15	elmnt = z[i];
16	/*search for elements with a certain atrribute:*/
17	file = elmnt.getAttribute("w3-include-html");
18	if (file) {
19	  /*make an HTTP request using the attribute value as the file name:*/
20	  xhttp = new XMLHttpRequest();
21	  xhttp.onreadystatechange = function () {
22		if (this.readyState === 4) {
23		  if (this.status === 200) {
24			elmnt.innerHTML = this.responseText;
25		  }
26		  if (this.status === 404) {
27			elmnt.innerHTML = "Page not found.";
28		  }
29		  /*remove the attribute, and call this function once more:*/
30		  elmnt.removeAttribute("w3-include-html");
31		  includeHTML();
32		}
33	  };
34	  xhttp.open("GET", file, true);
35	  xhttp.send();
36	  /*exit the function:*/
37	  return;
38	}
39  }
40}