This repository has been archived on 2023-08-12. You can view files and clone it. You cannot open issues or pull requests or push a commit.
2016-11-02 11:16:31 -04:00
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title> search for posts </title>
|
|
|
|
|
<link rel="stylesheet" href="site.css"></link>
|
2016-11-02 11:19:45 -04:00
|
|
|
<script src="search.js" type="text/javascript"></script>
|
2016-11-02 11:16:31 -04:00
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<noscript>search requires javascript for now</noscript>
|
|
|
|
|
<div id="search"></div>
|
2016-11-02 11:19:45 -04:00
|
|
|
<script>
|
2016-11-02 11:16:31 -04:00
|
|
|
var e = document.getElementById("search");
|
|
|
|
|
inject_search(e);
|
|
|
|
|
</script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
