Leases - Lease Costs (Details) $ in Thousands	3 Months Ended	9 Months Ended
	Aug. 31, 2020 USD ($)	Aug. 31, 2020 USD ($)
Leases [Abstract]
Lease costs under long-term operating leases	$ 1,714	$ 5,471
Lease costs under short-term operating leases	235	379
Variable lease cost under short-term and long-term operating leases	113	301
Operating lease right-of-use asset impairment	0	1,189
Total operating lease cost	$ 2,062	7,340
Cash paid for leases		5,979
Right-of-use assets recognized for new leases and amendments (non-cash)		$ 204
Weighted average remaining lease term in years	4 years 6 months 3 days	4 years 6 months 3 days
Weighted average discount rate	2.30%	2.30%