Share-Based Payments - Purchase Match Units (Details) - Purchase Match Units - $ / shares	12 Months Ended
Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Summary Activity for restricted share units, number of shares
Beginning balance (in shares)	44,682	70,292	72,615
Granted (in shares)	0	0	24,444
Forfeited (in shares)	(1,400)	(1,594)	(2,012)
Vested (in shares)	(43,282)	(24,016)	(24,755)
Ending balance (in shares)	0	44,682	70,292
Summary Activity for restricted share units, weighted average grant date fair value
Beginning balance (USD per share)	$ 51.05	$ 49.40	$ 45.77
Granted (USD per share)	0	0	51.83
Forfeited (USD per share)	51.47	50.19	48.29
Vested and released (USD per share)	51.03	46.28	41.33
Ending balance (USD per share)	$ 0	$ 51.05	$ 49.40

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

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

+ Details

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

- Definition

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.

+ References

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

+ Details

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

- Definition

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).

+ References

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

+ Details

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

- Definition

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).

+ References

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

+ Details

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

- Definition

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.

+ References

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

+ Details

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

- Definition

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

+ References

No definition available.

+ Details

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

- Definition

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

+ References

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

+ Details

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

- Definition

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

+ References

No definition available.

+ Details

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

- Definition

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

+ References

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

+ Details

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

- Definition

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.

+ References

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

+ Details

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsVestedInPeriodWeightedAverageGrantDateFairValue
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	duration

- Details

Name:	us-gaap_AwardTypeAxis=pra_EmployeePurchasePlanMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: