use flask theme when NOT on RTD