Liabilities - Performance Obligations Timing (Details)	9 Months Ended
	Sep. 30, 2023
Liabilities
Revenue, Practical Expedient, Remaining Performance Obligation	true
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-10-01
Performance obligations
Remaining performance obligations, expected timing of satisfaction	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-10-01 | Minimum
Performance obligations
Remaining performance obligations, expected timing of satisfaction	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-10-01 | Maximum
Performance obligations
Remaining performance obligations, expected timing of satisfaction	3 years