snide/sphinx_rtd_theme — pull request #155 by bendiken (2014-10-17 02:22:08+00:00)
Title: Hide the superfluous and broken search box in single-page HTML builds

The search box is non-functional in `make singlehtml` builds. This patch hides it in that build mode, just as Sphinx's default theme does as well.