Bonus compensation shares issued.

No definition available.

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

- Definition

Share based compensation arrangement by share based payment award payout rate.

+ References

No definition available.

+ Details

Name:	pra_ShareBasedCompensationArrangementByShareBasedPaymentAwardPayoutRate
Namespace Prefix:	pra_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

- Definition

The remaining amount authorized by an entity's Board of Directors for stock repurchase or debt repayment.

+ References

No definition available.

+ Details

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

- Definition

Tax Cuts And Jobs Act Of 2017 Reclassification From Aoci To Retained Earnings

+ References

No definition available.

+ Details

Name:	pra_TaxCutsAndJobsActOf2017ReclassificationFromAociToRetainedEarnings
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Accumulated other comprehensive loss related to portion of other than temporary impairment (OTTI) due to factors other than credit losses on debt securities categorized as available-for-sale that an entity does not intend to sell and which it is not more likely than not that the entity will be required to sell before recovery of the amortized cost basis of the debt security. The amount represented by this item is net of tax, as applicable.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 9A
-URI http://asc.fasb.org/extlink&oid=82896770&loc=SL6284427-111562

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (aaa)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27161-111563

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 14A
-URI http://asc.fasb.org/extlink&oid=84228862&loc=SL7669686-108580

+ Details

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

- Definition

Aggregate dividends declared during the period for each share of common stock outstanding.

+ References

+ Details

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

- Definition

The maximum number of common shares permitted to be issued by an entity's charter and bylaws.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(29))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

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

- Definition

Amount of paid and unpaid common stock dividends declared with the form of settlement in cash.

+ References

+ Details

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

- Definition

The maximum number of nonredeemable preferred shares (or preferred stock redeemable solely at the option of the issuer) permitted to be issued by an entity's charter and bylaws.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(28))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

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

- Definition

Period which an employee's right to exercise an award is no longer contingent on satisfaction of either a service condition, market condition or a performance condition, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=96867065&loc=d3e5070-113901

+ Details

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardAwardVestingPeriod1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
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://www.xbrl.org/2003/role/presentationRef
-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=96867065&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://www.xbrl.org/2003/role/presentationRef
-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=96867065&loc=d3e5070-113901

+ Details

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

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

- Definition

Number of share instruments newly issued under a share-based compensation plan.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=96867065&loc=d3e5070-113901

+ Details

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

- Definition

Number of shares that have been repurchased during the period and are being held in treasury.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 505
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.3-04)
-URI http://asc.fasb.org/extlink&oid=27012166&loc=d3e187085-122770

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(29))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 505
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=84159872&loc=d3e21463-112644

+ Details

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

- Details

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

- Details

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

- Details

Name:	us-gaap_RangeAxis=us-gaap_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RangeAxis=us-gaap_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

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

- Details

Name:	us-gaap_StatementEquityComponentsAxis=us-gaap_AccumulatedOtherComprehensiveIncomeMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_StatementEquityComponentsAxis=us-gaap_RetainedEarningsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Shareholders' Equity (Narrative) (Details) - USD ($) $ / shares in Units, $ in Millions	1 Months Ended	3 Months Ended				6 Months Ended		12 Months Ended
	Feb. 28, 2018	Jun. 30, 2018	Mar. 31, 2018	Jun. 30, 2017	Mar. 31, 2017	Jun. 30, 2018	Jun. 30, 2017	Dec. 31, 2015	Dec. 31, 2017
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Authorized common stock (in shares)		100,000,000				100,000,000			100,000,000
Authorized preferred stock (in shares)		50,000,000				50,000,000			50,000,000
Quarterly dividend declared, per share (USD per share)		$ 0.31	$ 0.310	$ 0.31	$ 0.310	$ 0.62	$ 0.62
Dividend declared						$ 34.2	$ 33.0
Total authorizations which remain available for use		$ 109.6				$ 109.6
Common shares acquired (in shares)						0	0
Bonus compensation shares issued (in shares)	2,500
Non-credit loss, net of tax		$ 0.6				$ 0.6			$ 0.5
Restricted Share Units
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Awards in period (in shares)	85,800
Fair value of each unit awarded (USD per share)	$ 44.73
Award vesting period						3 years
Shares issued in period for share-based compensation (in shares)	52,800
Performance Share Units
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Awards in period (in shares)	27,200
Shares issued in period for share-based compensation (in shares)	80,600
Performance Share Units \| Minimum
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Award payout rate						50.00%
Performance Share Units \| Maximum
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Award payout rate						200.00%
Performance Shares Granted in 2015 \| Maximum
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Award payout rate								125.00%
Accumulated Other Comprehensive Income (Loss)
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Reclassification from AOCI to retained earnings for stranded tax effects						$ 3.4
Retained Earnings
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Reclassification from AOCI to retained earnings for stranded tax effects						$ (3.4)