search.html

---
layout: default
title: Search
permalink: /search/
---


<div id="results">
	
</div>

<script>
	var JEKYLL_POSTS = [];
	{% for post in site.posts %}
	JEKYLL_POSTS.push({
		title: "{{ post.title }}",
		link: "{{ post.url | prepend: site.baseurl }}",
		content: {{ post.content | markdownify | strip_html | jsonify }}
	}); 
    {% endfor %}

	{% for doc in site.docs %}
	JEKYLL_POSTS.push({
		title: "{{ doc.title }}",
		link: "{{ doc.url | prepend: site.baseurl }}",
		content: {{ doc.content | markdownify | strip_html | jsonify }}
	}); 
    {% endfor %}    
</script>
<script src="{{ "/js/search.js" | prepend: site.baseurl }}"></script>
<script>
	new jekyllSearch({
		selector: "#results",
		properties: ["title", "content"]
	});
</script>