v2.4.0.8

Income Taxes (Details Textual) (USD $) In Millions, unless otherwise specified | 0 Months Ended |
--- | --- | ---
Jun. 30, 2013 | Dec. 31, 2012
Income Taxes (Textual) [Abstract] |  |
Potential increase in current tax liability due to NOPA | $ 130 |
Income taxes receivable | 48 |
Income taxes payable |  | $ 20

X
- Details
Name: | pra_IncomeTaxesTextualAbstract
Namespace Prefix: | pra_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Estimated amount of additional liability resulting from an adverse tax position. + References No definition available. + Details
Name: | pra_IncomeTaxExaminationEstimateofPossibleLiabilityIncrease
Namespace Prefix: | pra_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Carrying amount as of the balance sheet date of the unpaid sum of the known and estimated amounts payable to satisfy all domestic and foreign income tax obligations due. This amount is the total of current and noncurrent accrued income taxes. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name FASB Interpretation (FIN) -Number 48 -Paragraph 15, 21 -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 2: http://www.xbrl.org/2003/role/presentationRef -Publisher SEC -Name Regulation S-X (SX) -Number 210 -Section 03 -Paragraph 15 -Subparagraph b(1) -Article 7 Reference 3: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 740 -SubTopic 10 -Section 50 -Paragraph 15 -URI http://asc.fasb.org/extlink&oid=6907707&loc=d3e32718-109319 Reference 4: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 942 -SubTopic 210 -Section S99 -Paragraph 1 -Subparagraph (SX 210.9-03.15) -URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878 Reference 5: 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.15(b)) -URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910 Reference 6: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Statement of Financial Accounting Standard (FAS) -Number 109 -Section Appendix E -Paragraph 289 -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 SEC -Name Regulation S-X (SX) -Number 210 -Section 03 -Paragraph 15 -Subparagraph 1 -Article 9 + Details
Name: | us-gaap_AccruedIncomeTaxes
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Carrying amount as of the balance sheet date of income taxes previously overpaid to tax authorities (such as U.S. Federal, state and local tax authorities) representing refunds of overpayments or recoveries based on agreed-upon resolutions of disputes. Also called income tax refund receivable. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Statement of Financial Accounting Standard (FAS) -Number 109 -Section Appendix E -Paragraph 289 -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 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.8) -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 8 -Article 5 Reference 4: http://www.xbrl.org/2003/role/presentationRef -Publisher SEC -Name Regulation S-X (SX) -Number 210 -Section 03 -Paragraph 5 -Subparagraph c -Article 7 + Details
Name: | us-gaap_IncomeTaxReceivable
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant