Zachary Ware a3090a4b79 Issue #19489: Move the search box from sidebar to header and footer.		2016-09-09 13:11:27 -07:00
..
static	Issue #19489: Move the search box from sidebar to header and footer.	2016-09-09 13:11:27 -07:00
theme.conf	Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.	2014-09-30 22:51:30 +02:00