XML 18 R158.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Operating Leases (Operating Lease Cost) (Details)
$ in Thousands
12 Months Ended
Dec. 31, 2019
USD ($)
Operating Leases [Abstract]  
Lease costs $ 6,571
Variable lease costs 2,324
Short-term lease cost 180
Lease income (554)
Total lease cost $ 8,521