XML 36 R25.htm IDEA: XBRL DOCUMENT
v3.20.2

Leases (Details) - USD ($) $ in Thousands | 3 Months Ended | 6 Months Ended
--- | --- | ---
Jun. 30, 2020 | Jun. 30, 2019 | Jun. 30, 2020 | Jun. 30, 2019
Lessee, Lease, Description [Line Items] |  |  |  |
Lessee, Operating Lease, Option to Renew | 15 years |  | 15 years |
Lessee, Operating Lease, Termination Option |  |  | 1 year |
Right-of-use Asset Obtained in Exchange for Operating Lease Liability |  |  | $ 1,500 |
Operating Lease, Payments | $ 1,973 | $ 1,866 | $ 3,600 | $ 2,882
Minimum [Member] |  |  |  |
Lessee, Lease, Description [Line Items] |  |  |  |
Lessee, Operating Lease, Term of Contract | 1 year |  | 1 year |
Maximum [Member] |  |  |  |
Lessee, Lease, Description [Line Items] |  |  |  |
Lessee, Operating Lease, Term of Contract | 13 years |  | 13 years |

X
- Definition Lessee, Operating Lease, Termination Option + References No definition available. + Details
Name: | pro_LesseeOperatingLeaseTerminationOption
Namespace Prefix: | pro_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | duration

X
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. + References No definition available. + Details
Name: | us-gaap_LesseeLeaseDescriptionLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Term of lessee's operating lease renewal, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 3 -Subparagraph (a)(3) -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918673-209980 + Details
Name: | us-gaap_LesseeOperatingLeaseRenewalTerm
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Definition Term of lessee's operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 3 -Subparagraph (a)(3) -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918673-209980 + Details
Name: | us-gaap_LesseeOperatingLeaseTermOfContract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Definition Amount of cash outflow from operating lease, excluding payments to bring another asset to condition and location necessary for its intended use. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 45 -Paragraph 5 -Subparagraph (c) -URI http://asc.fasb.org/extlink&oid=121603541&loc=SL77918643-209977 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 4 -Subparagraph (g)(1) -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918686-209980 + Details
Name: | us-gaap_OperatingLeasePayments
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of increase in right-of-use asset obtained in exchange for operating lease liability. + References Reference 1: http://www.xbrl.org/2003/role/exampleRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 55 -Paragraph 53 -URI http://asc.fasb.org/extlink&oid=121568110&loc=SL77918982-209971 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 4 -Subparagraph (g)(2) -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918686-209980 + Details
Name: | us-gaap_RightOfUseAssetObtainedInExchangeForOperatingLeaseLiability
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Details
Name: | srt_RangeAxis=srt_MinimumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | srt_RangeAxis=srt_MaximumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |