| Revenue (Tables) | 3 Months Ended | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Mar. 31, 2018 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Revenue | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Summary of revenue categories | 
 Revenue comprises the following categories (in thousands): 
 
 
 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Schedule of movements in deferred revenue | 
 The following table shows movements in deferred revenue for the three months ended March 31, 2018 (in thousands): 
 
 
 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||