Income Taxes (Details) - USD ($) $ in Millions	Mar. 31, 2020	Dec. 31, 2019
Operating Loss Carryforwards [Line Items]
Income taxes receivable	$ 3.8	$ 8.0
Unrecognized tax benefits	11.0	5.7
Accrued liability for interest related to unrecognized tax benefits	0.6	$ 0.6
Income tax refund, CARES Act	12.0
Tax Year 2019
Operating Loss Carryforwards [Line Items]
Operating loss carryforwards	$ 34.4

Income Tax Refund, CARES Act

No definition available.

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

- Definition

Carrying amount as of the balance sheet date of income taxes previously overpaid to tax authorities (such as U.S. Federal, state and local tax authorities) representing refunds of overpayments or recoveries based on agreed-upon resolutions of disputes. Also called income tax refund receivable.

+ References

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))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(10))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

+ Details

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

- Definition

Amount of operating loss carryforward, before tax effects, available to reduce future taxable income under enacted tax laws.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 3
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32559-109319

+ Details

Name:	us-gaap_OperatingLossCarryforwards
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
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_OperatingLossCarryforwardsLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of unrecognized tax benefits.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 45
-Paragraph 10B
-URI http://asc.fasb.org/extlink&oid=116821951&loc=SL37586934-109318

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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

- Definition

Amount of interest expense accrued for an underpayment of income taxes.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32718-109319

+ Details

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

- Details

Name:	us-gaap_TaxPeriodAxis=us-gaap_TaxYear2019Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: