XML 67 R50.htm IDEA: XBRL DOCUMENT
v3.3.1.900

Fair Value Measurement (Narrative) (Details) - USD ($) | 12 Months Ended
--- | ---
Dec. 31, 2015 | Dec. 31, 2014
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Transfers between Level 1 to Level 2 | $ 0 | $ 0
Transfers between Level 2 to Level 1 | $ 0 | $ 0
A- Rating [Member] | Corporate debt, limited observable inputs [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Credit rating | 83.00% | 80.00%

X
- Definition For an entity that discloses a concentration risk in relation to quantitative amount, which serves as the "benchmark" (or denominator) in the equation, this concept represents the concentration percentage derived from the division. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 275 -SubTopic 10 -Section 50 -Paragraph 18 -URI http://asc.fasb.org/extlink&oid=51801978&loc=d3e6351-108592 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 825 -SubTopic 10 -Section 50 -Paragraph 20 -URI http://asc.fasb.org/extlink&oid=49121117&loc=d3e13531-108611 Reference 3: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 275 -SubTopic 10 -Section 50 -Paragraph 20 -URI http://asc.fasb.org/extlink&oid=51801978&loc=d3e6404-108592 Reference 4: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 825 -SubTopic 10 -Section 50 -Paragraph 21 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=49121117&loc=d3e13537-108611 + Details
Name: | us-gaap_ConcentrationRiskPercentage1
Namespace Prefix: | us-gaap_
Data Type: | num:percentItemType
Balance Type: | na
Period Type: | duration

X
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. + References No definition available. + Details
Name: | us-gaap_FairValueAssetsAndLiabilitiesMeasuredOnRecurringAndNonrecurringBasisLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of transfers of assets measured on a recurring basis out of Level 1 of the fair value hierarchy into Level 2. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 820 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (bb) -URI http://asc.fasb.org/extlink&oid=36462937&loc=d3e19207-110258 + Details
Name: | us-gaap_FairValueAssetsLevel1ToLevel2TransfersAmount
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of transfers of assets measured on a recurring basis out of Level 2 of the fair value hierarchy into Level 1. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 820 -SubTopic 10 -Section 50 -Paragraph 2 -Subparagraph (bb) -URI http://asc.fasb.org/extlink&oid=36462937&loc=d3e19207-110258 + Details
Name: | us-gaap_FairValueAssetsLevel2ToLevel1TransfersAmount
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Details
Name: | us-gaap_CreditRatingAMBestAxis=us-gaap_AMBestAMinusRatingMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_MajorTypesOfDebtAndEquitySecuritiesAxis=pra_CorporateDebtLimitedObservableInputsMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |