If html_theme is set, then RTD should respect that choice.