Leases (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended		12 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022	Dec. 31, 2022
Leases [Abstract]
Operating lease asset	$ 1.3		$ 1.3		$ 1.5
Operating lease liability			2.2		$ 2.6
Lease costs	$ 0.2	$ 0.2	$ 0.7	$ 0.6