XML 33 R20.htm IDEA: XBRL DOCUMENT
v3.25.3

Leases (Tables) | 9 Months Ended
--- | ---
Sep. 30, 2025
Leases [Abstract] |
Supplemental Lease Information [Table Text Block] | Supplemental cash flow information related to leases was as follows (in thousands):
| Three Months Ended September 30, |  | Nine Months Ended September 30,
| 2025 |  | 2024 |  | 2025 |  | 2024
Cash paid for operating lease liabilities | $ | 1,965 |  |  | $ | 1,790 |  |  | $ | 5,439 |  |  | $ | 5,805 |
Right-of-use asset obtained in exchange for operating lease liability | $ | — |  |  | $ | 229 |  |  | $ | 5,000 |  |  | $ | 2,369 |
Lessee, Operating Lease, Liability, Maturity [Table Text Block] | As of September 30, 2025, maturities of lease liabilities were as follows (in thousands):
Year Ending December 31, |  | Amount
Remaining 2025 |  | $ | 2,165 |
2026 |  | 4,923 |
2027 |  | 4,761 |
2028 |  | 4,875 |
2029 |  | 4,871 |
2030 |  | 4,604 |
Thereafter |  | 11,119 |
Total operating lease payments |  | 37,318 |
Less: Imputed interest |  | (7,144) |
Total operating lease liabilities |  | $ | 30,174 |

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: | dtr-types: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 -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 + Details
Name: | us-gaap_LesseeOperatingLeaseLiabilityMaturityTableTextBlock
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:textBlockItemType
Balance Type: | na
Period Type: | duration