Reverting to default HTML theme for RTD