<html>
<head>
<title> search for posts </title>
<link rel="stylesheet" href="site.css"></link>
<script src="search.js" type="text/javascript"></script>
</head>
<body>
<noscript>search requires javascript for now</noscript>
<div id="search"></div>
<script>
var e = document.getElementById("search");
inject_search(e);
</script>
</body>
</html>
