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