4 commits

Author	SHA1	Message	Date
Michael DeHaan	3e45791d05	Update our search code for the doc site.	2014-08-01 17:10:39 -04:00
Juho Viitasalo	4d17efa6f8	Nudge Google custom search image to the right	2014-01-08 20:04:14 -05:00
Chris Houseknecht	a0d0a70882	Modified docsite layout to use Google custom search.	2014-01-06 22:55:19 +00:00
Michael DeHaan	1a106ac419	Add copy of Sphinx RTD theme so we can modify if needed and everyone has a consistent copy.	2013-12-24 18:10:19 -05:00