2 Commits

Author	SHA1	Message	Date
Amar Takhar	9845183527	Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/ ... 68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880	2020-02-26 00:09:17 -05:00
Amar Takhar	a316b1ff6d	Add support for singlehtml (inlined) HTML file, plus some other fixes. ... * This is still broken. * Rename sphinx_rtd_theme so it doesn't pickup locally installed ones * Add a hack to theme.css to get around inliner bug. * Some unrelated fixups in common/waf.py Unfortunatly several dozen fixes got merged into this.	2016-05-02 20:51:25 -04:00