Leases (Lease Costs) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Leases [Abstract]
Operating lease cost	$ 1,707	$ 1,680	$ 5,124	$ 5,747
Variable lease costs	258	158	849	801
Total lease cost	$ 1,965	$ 1,838	$ 5,973	$ 6,548