v2.4.0.8

Investments (Details 7) (USD $) In Thousands, unless otherwise specified	3 Months Ended		6 Months Ended
	Jun. 30, 2013	Jun. 30, 2012	Jun. 30, 2013	Jun. 30, 2012
Cumulative credit losses recorded in earnings related to impaired debt securities
Accumulated credit losses related to impaired debt securities, Beginning Balance	$ 413	$ 6,138	$ 413	$ 6,138
Additional credit losses recognized during the period related to securities for which OTTI has been previously recognized	0	201	0	268
Other than Temporary Impairment, Credit Losses Recognized in Earnings, Reductions, Securities Sold	(2,888)	0	(2,888)	0
Accumulated credit losses related to impaired debt securities, Ending Balance	$ 3,301	$ 5,937	$ 3,301	$ 5,870

X

- Details

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

X

- Definition

This item represents an increase to the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security held for which a previous OTTI was recognized and the investor does not intend to sell the debt security and it is not more likely than not that the investor will be required to sell the debt security before recovery of its amortized cost basis.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 50

-Paragraph 8

-Subparagraph (e)

-URI http://asc.fasb.org/extlink&oid=6872113&loc=d3e27340-111563



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

-Publisher FASB

-Name FASB Staff Position (FSP)

-Number FAS115-1/124-1

-Paragraph 18B

-Subparagraph e

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

+ Details

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

X

- Definition

The cumulative amount of credit losses recognized in earnings related to debt securities held for which a portion of an other than temporary impairment (OTTI) was recognized in other comprehensive income (a component of shareholders' equity).

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 50

-Paragraph 8

-URI http://asc.fasb.org/extlink&oid=6872113&loc=d3e27340-111563



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

-Publisher FASB

-Name FASB Staff Position (FSP)

-Number FAS115-1/124-1

-Paragraph 18B

-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 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name FASB Staff Position (FSP)

-Number FAS115-1/124-1

-Paragraph 18B

-Subparagraph g

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

+ Details

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

X

- Definition

This item represents reductions in the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security because of the sale of impaired securities during the period.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 50

-Paragraph 8

-Subparagraph (c)

-URI http://asc.fasb.org/extlink&oid=6872113&loc=d3e27340-111563



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

-Publisher FASB

-Name FASB Staff Position (FSP)

-Number FAS115-1/124-1

-Paragraph 18B

-Subparagraph c

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

+ Details

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