401(k) plan (Details) - USD ($) $ in Millions |
12 Months Ended | ||
---|---|---|---|
Dec. 31, 2023 |
Dec. 31, 2022 |
Dec. 31, 2021 |
|
Retirement Benefits [Abstract] | |||
Matching contribution (as a percent of total salary) | 100.00% | 100.00% | 100.00% |
Percentage of employee's base salary, matched by employer | 6.00% | 6.00% | 6.00% |
Expense recorded | $ 10.9 | $ 8.4 | $ 6.6 |