XML 28 R17.htm IDEA: XBRL DOCUMENT
v3.20.2

Leases (Tables) | 6 Months Ended
--- | ---
Jun. 30, 2020
Leases [Abstract] |
Supplemental Lease Information [Table Text Block] | Supplemental information related to leases was as follows (in thousands):
| Three Months Ended June 30, |  |  |  | Six Months Ended June 30, |  |
| 2020 |  | 2019 |  | 2020 |  | 2019
Cash paid for amounts included in the measurement of lease liability: |  |  |  |  |  |  |
Operating cash flows from operating leases | $ | 1,973 |  |  | $ | 1,866 |  |  | $ | 3,600 |  |  | $ | 2,882 |
Lessee, Operating Lease, Liability, Maturity [Table Text Block] | As of June 30, 2020, maturities of lease liabilities were as follows (in thousands):
Year Ending December 31, |  | Amount
Remaining 2020 |  | $ | 3,744 |
2021 |  | 9,106 |
2022 |  | 8,470 |
2023 |  | 4,902 |
2024 |  | 4,952 |
2025 and thereafter |  | 34,082 |
Total operating lease payments |  | 65,256 |
Less: Imputed interest |  | (23,600) |
Less: Anticipated lease incentive |  | (10,226) |
Total operating lease liabilities |  | $ | 31,430 |

X
- Definition [Table Text Block]Supplemental Cash Flow Information Related to Leases [Table] + References No definition available. + Details
Name: | pro_SupplementalCashFlowInformationRelatedtoLeasesTableTextBlock
Namespace Prefix: | pro_
Data Type: | nonnum:textBlockItemType
Balance Type: | na
Period Type: | duration

X
- References No definition available. + Details
Name: | us-gaap_LeasesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Tabular disclosure of undiscounted cash flows of lessee's operating lease liability. Includes, but is not limited to, reconciliation of undiscounted cash flows to operating lease liability recognized in statement of financial position. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 20 -Section 50 -Paragraph 6 -URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980 + Details
Name: | us-gaap_LesseeOperatingLeaseLiabilityMaturityTableTextBlock
Namespace Prefix: | us-gaap_
Data Type: | nonnum:textBlockItemType
Balance Type: | na
Period Type: | duration