Name:	prov_LesseeOperatingLeaseLiabilityToBePaidAfterYearFour
Namespace Prefix:	prov_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Liability to make lease payments.

No definition available.

Name:	prov_OperatingLeasePaymentsTotal
Namespace Prefix:	prov_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of lessee's undiscounted obligation for lease payment for operating lease.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-6

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearFour
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearThree
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearTwo
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of lessee's undiscounted obligation for lease payment for operating lease having initial or remaining lease term in excess of one year to be paid in remainder of current fiscal year.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-6

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for operating lease.

Name:	us-gaap_LesseeOperatingLeaseLiabilityUndiscountedExcessAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- References

No definition available.

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

Weighted average discount rate for operating lease calculated at point in time.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(4)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

Name:	us-gaap_OperatingLeaseWeightedAverageDiscountRatePercent
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
Period Type:	instant

Weighted average remaining lease term for operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(3)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4