4 Commits

Author	SHA1	Message	Date
Martin Taillefer	3eeaaa06eb	Move the search results page out of "docs" since it now deals with the entire site.	2017-05-07 06:05:26 -07:00
Dave	8d24dc9e78	Replace large search button with icon (#101)	2017-05-02 21:00:17 -07:00
Martin Taillefer	74a5c5854b	Dave's changes to fix search-related formatting.	2017-05-01 21:48:27 -07:00
Martin Taillefer	6edc67cae3	A bit more work on search integration.	2017-05-01 20:58:26 -07:00