Name:	pra_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsExpiredInPeriod
Namespace Prefix:	pra_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

Share-based Compensation Arrangement by Share-based Payment Award, Equity Instruments Other than Options, Expires, Weighted Average Grant Date Fair Value

No definition available.

Name:	pra_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsExpiresWeightedAverageGrantDateFairValue
Namespace Prefix:	pra_
Data Type:	dtr-types1:perShareItemType
Balance Type:	na
Period Type:	duration

The number of equity-based payment instruments, excluding stock (or unit) options, that were forfeited during the reporting period.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsForfeitedInPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

Weighted average fair value as of the grant date of equity-based award plans other than stock (unit) option plans that were not exercised or put into effect as a result of the occurrence of a terminating event.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsForfeituresWeightedAverageGrantDateFairValue
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	duration

The number of grants made during the period on other than stock (or unit) option plans (for example, phantom stock or unit plan, stock or unit appreciation rights plan, performance target plan).

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsGrantsInPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

The weighted average fair value at grant date for nonvested equity-based awards issued during the period on other than stock (or unit) option plans (for example, phantom stock or unit plan, stock or unit appreciation rights plan, performance target plan).

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsGrantsInPeriodWeightedAverageGrantDateFairValue
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	duration

The number of non-vested equity-based payment instruments, excluding stock (or unit) options, that validly exist and are outstanding as of the balance sheet date.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 718
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)(2)(i)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480429/718-10-50-2

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 718
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)(2)(ii)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480429/718-10-50-2

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsNonvestedNumber
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

No definition available.

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

Per share or unit weighted-average fair value of nonvested award under share-based payment arrangement. Excludes share and unit options.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsNonvestedWeightedAverageGrantDateFairValue
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	instant

- References

No definition available.

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

The number of equity-based payment instruments, excluding stock (or unit) options, that vested during the reporting period.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsVestedInPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

The weighted average fair value as of grant date pertaining to an equity-based award plan other than a stock (or unit) option plan for which the grantee gained the right during the reporting period, by satisfying service and performance requirements, to receive or retain shares or units, other instruments, or cash in accordance with the terms of the arrangement.