XML 61 R47.htm IDEA: XBRL DOCUMENT v3.24.1.u1

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

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