Name:	ptvc_VotingAndSupportAgreementAbstract
Namespace Prefix:	ptvc_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

Price of a single share of a number of saleable stocks paid or offered to be paid in a business combination.

No definition available.

Name:	us-gaap_BusinessAcquisitionSharePrice
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	instant

Amount of consideration transferred, consisting of acquisition-date fair value of assets transferred by the acquirer, liabilities incurred by the acquirer, and equity interest issued by the acquirer.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 805
-SubTopic 30
-Section 30
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=116859721&loc=d3e6613-128477

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 805
-SubTopic 30
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=120321790&loc=d3e6927-128479

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 805
-SubTopic 30
-Section 30
-Paragraph 7
-URI http://asc.fasb.org/extlink&oid=116859721&loc=d3e6578-128477

Name:	us-gaap_BusinessCombinationConsiderationTransferred1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

Name:	us-gaap_BusinessCombinationDescriptionAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

Date the declared dividend will be paid, in CCYY-MM-DD format.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 50
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=121583591&loc=d3e4304-108586

Name:	us-gaap_DividendPayableDateToBePaidDayMonthAndYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:dateItemType
Balance Type:	na
Period Type:	duration

The per share amount of a dividend declared, but not paid, as of the financial reporting date.

Name:	us-gaap_DividendsPayableAmountPerShare
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	instant

Date the dividend to be paid was declared, in CCYY-MM-DD format.

Name:	us-gaap_DividendsPayableDateDeclaredDayMonthAndYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:dateItemType
Balance Type:	na
Period Type:	duration

Date the holder must own the stock to be entitled to the dividend, in CCYY-MM-DD format.

No definition available.

Name:	us-gaap_DividendsPayableDateOfRecordDayMonthAndYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:dateItemType
Balance Type:	na
Period Type:	duration

Name:	us-gaap_BusinessAcquisitionAxis=ptvc_ProgressiveCorporationMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_StatementScenarioAxis=srt_ScenarioForecastMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_SubsequentEventTypeAxis=us-gaap_SubsequentEventMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_StatementClassOfStockAxis=us-gaap_CommonClassAMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_RangeAxis=srt_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: