XML 74 R61.htm IDEA: XBRL DOCUMENT
v3.21.2

Investments (Roll Forward of Cumulative Credit Losses Recorded in Earnings) (Details) - USD ($) $ in Thousands | 3 Months Ended | 9 Months Ended
--- | --- | ---
Sep. 30, 2021 | Sep. 30, 2020 | Sep. 30, 2021 | Sep. 30, 2020
Other than Temporary Impairment, Credit Losses Recognized in Earnings [Roll Forward] |  |  |  |
Balance, beginning of period | $ 0 | $ 1,322 | $ 552 | $ 470
No impairment has been previously recognized | 0 | 0 | 0 | 1,064
Impairment has been previously recognized | 0 | 0 | 0 | 258
Securities sold during the period (realized) | 0 | (770) | (552) | (1,240)
Balance ending of period | $ 0 | $ 552 | $ 0 | $ 552

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 This item represents an increase to the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security held for which a previous OTTI was recognized and the investor does not intend to sell the debt security and it is not more likely than not that the investor will be required to sell the debt security before recovery of its amortized cost basis. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 8B -Subparagraph (e) -URI http://asc.fasb.org/extlink&oid=123581744&loc=SL6284393-111563 + Details
Name: | us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsAdditionsAdditionalCreditLosses
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition This item represents reductions in the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security because of the sale of impaired securities during the period. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 50 -Paragraph 8B -Subparagraph (c) -URI http://asc.fasb.org/extlink&oid=123581744&loc=SL6284393-111563 + Details
Name: | us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsReductionsSecuritiesSold
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
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