Leases (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended	12 Months Ended
Dec. 31, 2016	Oct. 01, 2016	Dec. 31, 2015	Dec. 31, 2014
lease payments [Line Items]
Capital Lease Obligations	$ 0.0		$ 40.0
Rental expense	5.0	$ 19.4	28.4	$ 42.1
Royalty expense	45.3	$ 116.4	$ 227.7	$ 242.5
lease [Member]
lease payments [Line Items]
Surety bonds outstanding	$ 32.6

[Line Items] for lease payments [Table]

No definition available.

Name:	aci_LeasePaymentsLineItems
Namespace Prefix:	aci_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Surety bonds outstanding to cover future obligations.

+ References

No definition available.

+ Details

Name:	aci_SuretyBondsOutstanding
Namespace Prefix:	aci_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount equal to the present value (the principal) at the beginning of the lease term of minimum lease payments during the lease term (excluding that portion of the payments representing executory costs such as insurance, maintenance, and taxes to be paid by the lessor, together with any profit thereon) net of payments or other amounts applied to the principal through the balance sheet date.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 30
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=6455398&loc=d3e45280-112737

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(16))
-URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910

+ Details

Name:	us-gaap_CapitalLeaseObligations
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Rental expense for the reporting period incurred under operating leases, including minimum and any contingent rent expense, net of related sublease income.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6453985&loc=d3e41499-112717

+ Details

Name:	us-gaap_OperatingLeasesRentExpenseNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of expense related to royalty payments under a contractual arrangement such as payment for mineral and drilling rights and use of technology or intellectual property.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 225
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.3)
-URI http://asc.fasb.org/extlink&oid=63488584&loc=d3e20235-122688

+ Details

Name:	us-gaap_RoyaltyExpense
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Details

Name:	us-gaap_PropertySubjectToOrAvailableForOperatingLeaseAxis=aci_LeaseMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: