Changed to default theme for RTD