XML 61 R43.htm IDEA: XBRL DOCUMENT
v3.10.0.1

Investments (Sales and Purchases of Available-for-Sale Securities) (Details) - USD ($) $ in Thousands | 3 Months Ended | 6 Months Ended
--- | --- | ---
Jun. 30, 2018 | Jun. 30, 2017 | Jun. 30, 2018 | Jun. 30, 2017
Information regarding sales and purchases of available-for-sale securities |  |  |  |
Proceeds from sales (exclusive of maturities and paydowns) | $ 115,800 | $ 156,300 | $ 495,000 | $ 235,500
Purchases | $ 184,600 | $ 198,700 | $ 552,451 | $ 359,080

X
- Definition Schedule of Sales And Purchases Of Available For Sale Securities [Abstract] + References No definition available. + Details
Name: | pra_ScheduleOfSalesAndPurchasesOfAvailableForSaleSecuritiesAbstract
Namespace Prefix: | pra_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition The cash outflow to acquire debt securities classified as available-for-sale securities, because they are not classified as either held-to-maturity securities or trading securities. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 45 -Paragraph 13 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=98514028&loc=d3e3213-108585 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 45 -Paragraph 11 -URI http://asc.fasb.org/extlink&oid=82896770&loc=d3e26853-111562 + Details
Name: | us-gaap_PaymentsToAcquireAvailableForSaleSecuritiesDebt
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition The cash inflow associated with the sale of debt and equity securities classified as available-for-sale securities. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 45 -Paragraph 11 -URI http://asc.fasb.org/extlink&oid=82896770&loc=d3e26853-111562 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 45 -Paragraph 12 -Subparagraph (a),(b) -URI http://asc.fasb.org/extlink&oid=98514028&loc=d3e3179-108585 + Details
Name: | us-gaap_ProceedsFromSaleOfAvailableForSaleSecurities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration