Note 8 - Leases - Operating Lease Revenue (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2025	Mar. 31, 2024
Fixed lease revenue	$ 5	$ 5
Variable lease revenue	4	4
Total operating lease revenue	$ 9	$ 9

Amount of operating lease income from lease payments and variable lease payments paid and payable to lessor. Includes, but is not limited to, variable lease payments not included in measurement of lease receivable.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-6A

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479016/842-30-45-3

+ Details

Name:	us-gaap_OperatingLeaseLeaseIncome
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of operating lease income from lease payments paid and payable to lessor. Excludes variable lease payments not included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-6A

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-5

+ Details

Name:	us-gaap_OperatingLeaseLeaseIncomeLeasePayments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of operating lease income from variable lease payments paid and payable to lessor, excluding amount included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-6A

+ Details

Name:	us-gaap_OperatingLeaseVariableLeaseIncome
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration