Revenue from contracts with customers - Changes in Deferred License Revenue (Details) - USD ($) $ in Thousands	3 Months Ended	9 Months Ended
Sep. 30, 2019	Sep. 30, 2018	Sep. 30, 2019	Sep. 30, 2018
Revenue recognized during the period	$ 200	$ 100	$ 900	$ 600
Deferred license revenue
Deferred revenue, as of December 31, 2018			1,179
Additions to deferred license revenue			111
Revenue recognized during the period			(148)
Deferred revenue, as of September 30, 2019	$ 1,142		$ 1,142

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=82913815&loc=SL49130531-203044

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=82913815&loc=SL49130532-203044

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=109196051&loc=SL49130549-203045

+ Details

Name:	us-gaap_ContractWithCustomerLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of revenue recognized arising from contract liability from change in timeframe for performance obligation to be satisfied.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 10
-Subparagraph (e)
-URI http://asc.fasb.org/extlink&oid=109196051&loc=SL49130551-203045

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityChangeInTimeframePerformanceObligationSatisfiedRevenueRecognized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of revenue recognized that was previously included in balance of obligation to transfer good or service to customer for which consideration from customer has been received or is due.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=109196051&loc=SL49130549-203045

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityRevenueRecognized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Details

Name:	srt_ProductOrServiceAxis=us-gaap_LicenseMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: