Leases (Lease Cost) (Details) - USD ($) $ in Thousands	3 Months Ended	9 Months Ended
	Apr. 30, 2020	Apr. 30, 2020
Leases [Abstract]
Operating lease cost	$ 3,802	$ 11,544
Variable lease cost	1,396	4,031
Sublease income	(382)	(1,144)
Net operating lease cost	4,816	14,431
Lease expense for leases with initial term of 12 months or less	$ 300	$ 1,000