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: