XML 82 R65.htm IDEA: XBRL DOCUMENT
v3.3.1.900

(Sales and Purchases of Available-for-Sale Securities) (Details) - USD ($) $ in Thousands | 12 Months Ended
--- | ---
Dec. 31, 2015 | Dec. 31, 2014 | Dec. 31, 2013
Information regarding sales and purchases of available-for-sale securities |  |  |
Proceeds from sales (exclusive of maturities and paydowns) | $ 481,800 | $ 244,900 | $ 593,300
Purchases | $ 580,577 | $ 645,114 | $ 519,161

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=56944662&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=49167202&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=49167202&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=56944662&loc=d3e3179-108585 + Details
Name: | us-gaap_ProceedsFromSaleOfAvailableForSaleSecurities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration