Inventories (Details) (USD $) In Millions, unless otherwise specified	Mar. 31, 2013	Dec. 31, 2012
Components of inventories
Coal	$ 100.7	$ 108.0
Coke	7.8	11.8
Materials, supplies and other	32.7	32.0
Consigned coke inventory	0	8.3
Inventory, Total	$ 141.2	$ 160.1

Gross amount of inventory owned by the entity but in the hands of a customer, typically a reseller.

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 605

-SubTopic 10

-Section S99

-Paragraph 1

-Subparagraph (SAB TOPIC 13.A.2.Q2 Response)

-URI http://asc.fasb.org/extlink&oid=6600647&loc=d3e214044-122780

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.6(a))

-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher SEC

-Name Regulation S-X (SX)

-Number 210

-Section 02

-Paragraph 6

-Subparagraph a

-Article 5

Reference 4: http://www.xbrl.org/2003/role/presentationRef

-Publisher AICPA

-Name Accounting Research Bulletin (ARB)

-Number 43

-Section A

-Paragraph 9

-Chapter 3

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Name:	us-gaap_OtherInventoryMaterialsSuppliesAndMerchandiseUnderConsignment
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant