v2.4.0.8

Investments (Details 8) (USD $) In Millions, unless otherwise specified	3 Months Ended		6 Months Ended
	Jun. 30, 2013	Jun. 30, 2012	Jun. 30, 2013	Jun. 30, 2012
Information regarding sales and purchases of available-for-sale securities
Proceeds from sales (exclusive of maturities and paydowns)	$ 128.7	$ 99.8	$ 257.1	$ 305.9
Purchases	$ 206.6	$ 99.5	$ 307.4	$ 347.1

X

- Definition

Payments to acquire other available for sale securities.

+ References

No definition available.

+ Details

Name:	pra_PaymentsToAcquireOtherAvailableForSaleSecurities
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

X

- Details

Name:	pra_ScheduleOfSalesAndPurchasesOfAvailableForSaleSecuritiesAbstract
Namespace Prefix:	pra_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

X

- Definition

The cash inflow associated with the sale of debt and equity securities classified as available-for-sale securities.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Glossary Investing Activities

-URI http://asc.fasb.org/extlink&oid=6516133



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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 18

-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.



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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 95

-Paragraph 15

-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.



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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 95

-Paragraph 16

-Subparagraph b

-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.



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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 45

-Paragraph 11

-URI http://asc.fasb.org/extlink&oid=6871852&loc=d3e26853-111562



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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 95

-Paragraph 16

-Subparagraph a

-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.



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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 230

-SubTopic 10

-Section 45

-Paragraph 12

-Subparagraph (a),(b)

-URI http://asc.fasb.org/extlink&oid=6943989&loc=d3e3179-108585

+ Details

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