Leases (Narrative) (Details) $ in Millions	Mar. 31, 2020 USD ($) lease
Lessee, Lease, Description [Line Items]
Renewal term	10 years
Excluded lease payments \| $	$ 0.5
Leases signed but not yet commenced \| lease	1
Lease term, not yet commenced	7 years
Minimum
Lessee, Lease, Description [Line Items]
Lease term	1 year
Maximum
Lessee, Lease, Description [Line Items]
Lease term	12 years

Lessee, Operating Lease, Liability, Lease Not Yet Commenced, Amount

No definition available.

Name:	pra_LesseeOperatingLeaseLiabilityLeaseNotYetCommencedAmount
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Lessee, Operating Lease, Liability, Lease Not Yet Commenced, Number of Leases

+ References

No definition available.

+ Details

Name:	pra_LesseeOperatingLeaseLiabilityLeaseNotYetCommencedNumberofLeases
Namespace Prefix:	pra_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	instant

- 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_LesseeLeaseDescriptionLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Term of lessee's operating lease not yet commenced, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 3
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918673-209980

+ Details

Name:	us-gaap_LesseeOperatingLeaseLeaseNotYetCommencedTermOfContract1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Definition

Term of lessee's operating lease renewal, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 3
-Subparagraph (a)(3)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918673-209980

+ Details

Name:	us-gaap_LesseeOperatingLeaseRenewalTerm
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Definition

Term of lessee's operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 3
-Subparagraph (a)(3)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918673-209980

+ Details

Name:	us-gaap_LesseeOperatingLeaseTermOfContract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Details

Name:	srt_RangeAxis=srt_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: