Employee benefit plan (Details) - USD ($) $ in Thousands	12 Months Ended
	Dec. 31, 2018	Dec. 31, 2017	Dec. 31, 2016
Employee benefit plan
Employer contributions made to the plan	$ 1,154	$ 891	$ 819