XML 64 R51.htm IDEA: XBRL DOCUMENT v3.23.3

Investments (Roll Forward of Cumulative Credit Losses Recorded in Earnings) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Other than Temporary Impairment, Credit Losses Recognized in Earnings [Roll Forward]
Balance beginning of period	$ 57	$ 553	$ 57	$ 0
No impairment has been previously recognized	0	0	0	553
Balance ending of period	$ 57	$ 553	$ 57	$ 553

X

- Definition

Credit Losses Recognized In Earnings In Which A Portion Of Losses Are Recognized In Comprehensive Income (Loss), Credit Losses On Debt Securities Held

+ References

No definition available.

+ Details

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

X

- Definition

Impairment Loss, Debt Securities, No Impairment Previously Recognized

+ References

No definition available.

+ Details

Name:	pra_ImpairmentLossDebtSecuritiesNoImpairmentPreviouslyRecognized
Namespace Prefix:	pra_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

X

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