Business Segments and International Operations (Revenue from External Customers from Different Geographical Areas) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Aug. 31, 2017	Aug. 31, 2016	Aug. 31, 2017	Aug. 31, 2016
Revenue from External Customer [Line Items]
Total revenue	$ 97,310	$ 102,018	$ 281,493	$ 287,617
North America [Member]
Revenue from External Customer [Line Items]
Total revenue	55,703	58,275	157,438	160,732
EMEA [Member]
Revenue from External Customer [Line Items]
Total revenue	31,830	32,719	92,320	95,517
Latin America [Member]
Revenue from External Customer [Line Items]
Total revenue	5,009	4,667	15,669	12,749
Asia Pacific [Member]
Revenue from External Customer [Line Items]
Total revenue	$ 4,768	$ 6,357	$ 16,066	$ 18,619