Leases (Lease Costs) (Details) $ in Thousands	12 Months Ended
	Jul. 31, 2020 USD ($)
Leases [Abstract]
Operating lease cost	$ 15,275
Variable lease cost	5,821
Sublease income	(1,430)
Net operating lease cost	19,666
Short-term lease cost	$ 900