changed theme to default for upload to RTD