Leases - Lease Costs (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Aug. 31, 2022	Aug. 31, 2021	Aug. 31, 2022	Aug. 31, 2021	Nov. 30, 2021
Leases [Abstract]
Lease costs under long-term operating leases	$ 1,760	$ 1,991	$ 5,344	$ 6,135
Lease costs under short-term operating leases	19	3	50	22
Variable lease cost under short-term and long-term operating leases	143	130	437	280
Operating lease right-of-use asset impairment		0		36
Total operating lease cost	1,922	$ 2,124	$ 5,831	6,473
Cash paid for leases	6,481			6,440
Right-of-use assets recognized for new leases and amendments (non-cash)	$ 343			$ 3,222
Weighted average remaining lease term in years	3 years 6 months 14 days		3 years 6 months 14 days		4 years 1 month 24 days
Weighted average discount rate	2.70%		2.70%		2.60%