new theme based on sphinx_rtd_theme
fix search bug