use sphinx_rtd_theme by default