XML 81 R68.htm IDEA: XBRL DOCUMENT
v3.21.2

Leases (Narrative) (Details) - USD ($) $ in Thousands | Sep. 30, 2021 | May 05, 2021
--- | --- | ---
Lessee, Lease, Description [Line Items] |  |
Renewal term (up to) (in years) | 15 years |
Termination period | 1 year |
NORCAL Group |  |
Lessee, Lease, Description [Line Items] |  |
Operating lease ROU assets |  | $ 4,385
Operating lease liabilities |  | $ 5,275
Minimum |  |
Lessee, Lease, Description [Line Items] |  |
Lease term (in years) | 1 year |
Maximum |  |
Lessee, Lease, Description [Line Items] |  |
Lease term (in years) | 10 years |

X
- Definition Business Combination, Recognized Identifiable Asset Acquired and Liability Assumed, Operating Lease Liabilities + References No definition available. + Details
Name: | pra_BusinessCombinationRecognizedIdentifiableAssetAcquiredAndLiabilityAssumedOperatingLeaseLiabilities
Namespace Prefix: | pra_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Business Combination, Recognized Identifiable Assets Acquired and Liabilities Assumed, Operating Lease Right-of-Use Assets + References No definition available. + Details
Name: | pra_BusinessCombinationRecognizedIdentifiableAssetsAcquiredAndLiabilitiesAssumedOperatingLeaseRightOfUseAssets
Namespace Prefix: | pra_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Lessee, Operating Lease, Termination Period + References No definition available. + Details
Name: | pra_LesseeOperatingLeaseTerminationPeriod
Namespace Prefix: | pra_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

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

X
- Definition Term of lessee's operating lease renewal, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 3 -Subparagraph (a)(3) -URI http://asc.fasb.org/extlink&oid=123408670&loc=SL77918673-209980 + Details
Name: | us-gaap_LesseeOperatingLeaseRenewalTerm
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Definition Term of lessee's operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 3 -Subparagraph (a)(3) -URI http://asc.fasb.org/extlink&oid=123408670&loc=SL77918673-209980 + Details
Name: | us-gaap_LesseeOperatingLeaseTermOfContract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Details
Name: | us-gaap_BusinessAcquisitionAxis=pra_NORCALGroupMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | srt_RangeAxis=srt_MinimumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | srt_RangeAxis=srt_MaximumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |