Name:	pra_SyndicateCreditAgreementCurrentLendingCapacity
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Syndicate Credit Agreement, Interest Rate on Lendings

No definition available.

Name:	pra_SyndicateCreditAgreementInterestRate
Namespace Prefix:	pra_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

The carrying amount of the asset transferred to a third party to serve as a deposit, which typically serves as security against failure by the transferor to perform under terms of an agreement.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02.8,17)
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

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

Amount of rent expense incurred for leased assets, including but not limited to, furniture and equipment, that is not directly or indirectly associated with the manufacture, sale or creation of a product or product line.

No definition available.

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

Period covered by the long-term purchase commitment, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

No definition available.

Name:	us-gaap_LongtermPurchaseCommitmentPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

Generally recurring costs associated with normal operations except for the portion of these expenses which can be clearly related to production and included in cost of sales or services. Includes selling, general and administrative expense.

No definition available.

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

Minimum amount of other commitment not otherwise specified in the taxonomy. Excludes commitments explicitly modeled in the taxonomy, including but not limited to, long-term and short-term purchase commitments, recorded and unrecorded purchase obligations, supply commitments, registration payment arrangements, leases, debt, product warranties, guarantees, environmental remediation obligations, and pensions.

No definition available.

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

Minimum amount of other commitment maturing after the fifth fiscal year following the latest fiscal year for commitments not otherwise specified in the taxonomy. Excludes commitments explicitly modeled in this taxonomy, including but not limited to, long-term and short-term purchase commitments, recorded and unrecorded purchase obligations, supply commitments, registration payment arrangements, leases, debt, product warranties, guarantees, environmental remediation obligations, and pensions.

No definition available.

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

Minimum amount of other commitment maturing in the fourth and fifth fiscal years following the latest fiscal year for commitments not otherwise specified in the taxonomy. Excludes commitments explicitly modeled in this taxonomy, including but not limited to, long-term and short-term purchase commitments, recorded and unrecorded purchase obligations, supply commitments, registration payment arrangements, leases, debt, product warranties, guarantees, environmental remediation obligations, and pensions.

No definition available.

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

Minimum amount of other commitment maturing in the next fiscal year following the latest fiscal year for commitments not otherwise specified in the taxonomy. Excludes commitments explicitly modeled in this taxonomy, including but not limited to, long-term and short-term purchase commitments, recorded and unrecorded purchase obligations, supply commitments, registration payment arrangements, leases, debt, product warranties, guarantees, environmental remediation obligations, and pensions.

No definition available.

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

Minimum amount of other commitment maturing in the second and third fiscal years following the latest fiscal year for commitments not otherwise specified in the taxonomy. Excludes commitments explicitly modeled in this taxonomy, including but not limited to, long-term and short-term purchase commitments, recorded and unrecorded purchase obligations, supply commitments, registration payment arrangements, leases, debt, product warranties, guarantees, environmental remediation obligations, and pensions.

No definition available.

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

- References

No definition available.

Name:	us-gaap_OtherCommitmentFiscalYearMaturityAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
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.

Name:	us-gaap_OtherCommitmentsLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier.

No definition available.

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

Minimum amount of purchase arrangement maturing in the next fiscal year following the latest fiscal year. Includes, but not limited to, recorded and unrecorded purchase obligations, long-term purchase commitments, and short-term purchase commitments.

No definition available.

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

Amount of commitment or contingent commitments to qualified affordable housing project investments.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 323
-SubTopic 740
-Section 50
-Paragraph 2
-Subparagraph (e)
-URI http://asc.fasb.org/extlink&oid=114775393&loc=SL49122993-202985

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

Unused amount of commitments to extend credit to customers.

No definition available.

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

Name:	us-gaap_StatementBusinessSegmentsAxis=pra_LloydsSyndicatesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_OtherCommitmentsAxis=pra_FundingCommitmentsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_OtherCommitmentsAxis=pra_QualifiedAffordableHousingProjectMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_OtherCommitmentsAxis=pra_CommitmenttoProvideCapitalMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: