XML 59 R46.htm IDEA: XBRL DOCUMENT
v3.7.0.1

Investments (Sales and Purchases of Available-for-Sale Securities) (Details) - USD ($) $ in Thousands | 3 Months Ended
--- | ---
Mar. 31, 2017 | Mar. 31, 2016
Information regarding sales and purchases of available-for-sale securities |  |
Proceeds from sales (exclusive of maturities and paydowns) | $ 79,200 | $ 109,900
Purchases | $ 160,364 | $ 199,590

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=66902209&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=66010992&loc=d3e26853-111562 Reference 3: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Glossary Investing Activities -URI http://asc.fasb.org/extlink&oid=6516133 + 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 -Glossary Investing Activities -URI http://asc.fasb.org/extlink&oid=6516133 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=66010992&loc=d3e26853-111562 Reference 3: 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=66902209&loc=d3e3179-108585 + Details
Name: | us-gaap_ProceedsFromSaleOfAvailableForSaleSecurities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration