Re-enable the RTD sphinx theme, so our online and offline docs look the same.