| Revenue (Tables) | 12 Months Ended | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dec. 31, 2018 | |||||||||||||||||||||||||||||||||
| Revenue | |||||||||||||||||||||||||||||||||
| Summary of revenue categories | Revenue comprises the following categories (in thousands): 
 
 | ||||||||||||||||||||||||||||||||
| Schedule of movements in deferred revenue | The deferred revenue balance as of January 1, 2018 and December 31, 2018 is as follows (in thousands): 
 
 
 | ||||||||||||||||||||||||||||||||
| X | ||||||||||
| 
- Definition Tabular disclosure of contract balances and changes in contract balances. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef 
 | 
| X | ||||||||||
| 
- Definition Tabular disclosure of disaggregation of revenue into categories depicting how nature, amount, timing, and uncertainty of revenue and cash flows are affected by economic factor. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef 
 | 
| X | ||||||||||
| 
- References No definition available. 
 |