Note 12. Accumulated Other Comprehensive Income Accumulated Other Comprehensive Income (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income (loss)	$ (4.2)	$ 11.0
Other comprehensive income (loss), net of tax, before reclassifications	(3.4)	10.3
Reclassification from Accumulated Other Comprehensive Income, Current Period, Net of Tax	(11.4)	(26.0)
Other Comprehensive Income (Loss), Net of Tax	14.8	15.7	$ (36.4)
Other comprehensive loss	(15.2)	(8.7)
Reclassification from AOCI, Current Period, Tax	3.7	(7.4)
Accumulated Net Gain (Loss) from Cash Flow Hedges Attributable to Parent [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income (loss)	(3.0)	12.4	20.9
Other comprehensive income (loss), net of tax, before reclassifications	(3.5)	10.6
Reclassification from Accumulated Other Comprehensive Income, Current Period, Net of Tax	(11.5)	(26.1)
Other comprehensive loss	(15.4)	(8.5)
Reclassification from AOCI, Current Period, Tax	3.7	(7.4)
Accumulated Net Gain (Loss) from Cash Flow Hedges Attributable to Parent [Member] | TRIP Holdings
Accumulated Other Comprehensive Income (Loss) [Line Items]
Reclassification from AOCI, Current Period, Tax		(13.2)
Accumulated Net Gain (Loss) from Cash Flow Hedges Attributable to Parent [Member] | Parent Company [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Reclassification from AOCI, Current Period, Tax		(4.4)
Accumulated Defined Benefit Plans Adjustment, Net Gain (Loss) Attributable to Parent [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income (loss)		(1.4)	(1.2)
Other comprehensive income (loss), net of tax, before reclassifications	0.1	(0.3)
Reclassification from Accumulated Other Comprehensive Income, Current Period, Net of Tax	0.1	0.1
Other comprehensive loss	0.2	(0.2)
Reclassification from AOCI, Current Period, Tax	0.0	0.0
Accumulated Gain (Loss), Net, Cash Flow Hedge, Noncontrolling Interest [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Other Comprehensive Income (Loss), Net of Tax	(0.4)	7.0
Noncontrolling Interest [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Other Comprehensive Income (Loss), Net of Tax	(0.4)	7.0	0.3
AOCI Attributable to Parent [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income (loss)	(4.2)	11.0	19.7
Other Comprehensive Income (Loss), Net of Tax	$ 15.2	$ 8.7	$ (36.7)