Fair value measurements - Transfers (Details) - USD ($) $ in Thousands	3 Months Ended	6 Months Ended	12 Months Ended
Jun. 30, 2019	Jun. 30, 2018	Jun. 30, 2019	Jun. 30, 2018	Dec. 31, 2018	Dec. 31, 2017
Fair value measurements
Fair value, assets, Level 1 to Level 2	$ 0	$ 0	$ 0	$ 0	$ 0	$ 0
Fair value, assets, Level 2 to Level 1	0	0	0	0	0	0
Fair value, liabilities, Level 1 to Level 2	0	0	0	0	0	0
Fair value, liabilities, Level 2 to Level 1	0	0	0	0	0	0
Fair value, assets, transfers into Level 3	0	0	0	0	0	0
Fair value, assets, transfers out of Level 3	0	0	0	0	0	0
Fair value, liabilities, transfers into Level 3	0	0	0	0	0	0
Fair value, liabilities, transfers out of Level 3	$ 0	$ 0	$ 0	$ 0	$ 0	$ 0

Amount of transfers of assets measured on a recurring basis out of Level 1 of the fair value hierarchy into Level 2.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (bb)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

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

- Definition

Amount of transfers of assets measured on a recurring basis out of Level 2 of the fair value hierarchy into Level 1.

+ References

+ Details

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

- References

No definition available.

+ Details

Name:	us-gaap_FairValueDisclosuresAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of transfers of liabilities measured on a recurring basis out of Level 1 of the fair value hierarchy into Level 2.

+ References

+ Details

Name:	us-gaap_FairValueLiabilitiesLevel1ToLevel2TransfersAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of transfers of liabilities measured on a recurring basis out of Level 2 of the fair value hierarchy into Level 1.

+ References

+ Details

Name:	us-gaap_FairValueLiabilitiesLevel2ToLevel1TransfersAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of transfers of financial instrument classified as a liability into level 3 of the fair value hierarchy.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

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

- Definition

Amount of transfers of financial instrument classified as a liability out of level 3 of the fair value hierarchy.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationLiabilityTransfersOutOfLevel3
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of transfer of financial instrument classified as an asset into level 3 of the fair value hierarchy.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetTransfersIntoLevel3
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of transfers of financial instrument classified as an asset out of level 3 of the fair value hierarchy.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=99377789&loc=d3e19207-110258

+ Details

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