Name:	pra_DefinedContributionPlanContributionsPercentageByEmployer
Namespace Prefix:	pra_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

The compensation expense recognized during the period pertaining to the deferred compensation arrangement.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=116856206&loc=d3e5047-113901

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 710
-SubTopic 10
-Section 30
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6409875&loc=d3e20015-108363

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

Aggregate carrying value as of the balance sheet date of the liabilities for all deferred compensation arrangements. Represents currently earned compensation under compensation arrangements that is not actually paid until a later date.

No definition available.

Name:	us-gaap_DeferredCompensationLiabilityCurrentAndNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of cost for defined contribution plan.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 70
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=49170846&loc=d3e28014-114942

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

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.

No definition available.