XML 19 R70.htm IDEA: XBRL DOCUMENT
v2.4.1.9

Commitments and Contingencies Future minimum lease commitments (Details) (USD $) In Thousands, unless otherwise specified | Dec. 31, 2014
--- | ---
Future minimum lease commitments [Line Items] |
Operating Leases, Future Minimum Payments Due, Next Twelve Months | $ 2,843us-gaap_OperatingLeasesFutureMinimumPaymentsDueCurrent
Operating Leases, Future Minimum Payments, Due in Two Years | 1,822us-gaap_OperatingLeasesFutureMinimumPaymentsDueInTwoYears
Operating Leases, Future Minimum Payments, Due in Three Years | 573us-gaap_OperatingLeasesFutureMinimumPaymentsDueInThreeYears
Operating Leases, Future Minimum Payments, Due in Four Years | 90us-gaap_OperatingLeasesFutureMinimumPaymentsDueInFourYears
Operating Leases, Future Minimum Payments, Due Thereafter | 0us-gaap_OperatingLeasesFutureMinimumPaymentsDueThereafter
Operating Leases, Future Minimum Payments Due | $ 5,328us-gaap_OperatingLeasesFutureMinimumPaymentsDue

X
- Details
Name: | pro_FutureMinimumLeaseCommitmentsLineItems
Namespace Prefix: | pro_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of required minimum rental payments for leases having an initial or remaining non-cancelable letter-terms in excess of one year. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 10 -Section 55 -Paragraph 40 -Subparagraph (Note 3) -URI http://asc.fasb.org/extlink&oid=6584154&loc=d3e38371-112697 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 20 -Section 50 -Paragraph 2 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=6453985&loc=d3e41502-112717 + Details
Name: | us-gaap_OperatingLeasesFutureMinimumPaymentsDue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of required minimum rental payments maturing in the next fiscal year following the latest fiscal year for operating leases having an initial or remaining non-cancelable letter-terms in excess of one year. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 10 -Section 55 -Paragraph 40 -Subparagraph (Note 3) -URI http://asc.fasb.org/extlink&oid=6584154&loc=d3e38371-112697 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 20 -Section 50 -Paragraph 2 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=6453985&loc=d3e41502-112717 + Details
Name: | us-gaap_OperatingLeasesFutureMinimumPaymentsDueCurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of required minimum rental payments maturing in the forth fiscal year following the latest fiscal year for operating leases having an initial or remaining non-cancelable letter-terms in excess of one year. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 10 -Section 55 -Paragraph 40 -Subparagraph (Note 3) -URI http://asc.fasb.org/extlink&oid=6584154&loc=d3e38371-112697 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 20 -Section 50 -Paragraph 2 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=6453985&loc=d3e41502-112717 + Details
Name: | us-gaap_OperatingLeasesFutureMinimumPaymentsDueInFourYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of required minimum rental payments maturing in the third fiscal year following the latest fiscal year for operating leases having an initial or remaining non-cancelable letter-terms in excess of one year. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 10 -Section 55 -Paragraph 40 -Subparagraph (Note 3) -URI http://asc.fasb.org/extlink&oid=6584154&loc=d3e38371-112697 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 20 -Section 50 -Paragraph 2 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=6453985&loc=d3e41502-112717 + Details
Name: | us-gaap_OperatingLeasesFutureMinimumPaymentsDueInThreeYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of required minimum rental payments maturing in the second fiscal year following the latest fiscal year for operating leases having an initial or remaining non-cancelable letter-terms in excess of one year. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 10 -Section 55 -Paragraph 40 -Subparagraph (Note 3) -URI http://asc.fasb.org/extlink&oid=6584154&loc=d3e38371-112697 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 20 -Section 50 -Paragraph 2 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=6453985&loc=d3e41502-112717 + Details
Name: | us-gaap_OperatingLeasesFutureMinimumPaymentsDueInTwoYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of required minimum rental payments maturing after the fifth fiscal year following the latest fiscal year for operating leases having an initial or remaining non-cancelable letter-terms in excess of one year. + References Reference 1: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 10 -Section 55 -Paragraph 40 -Subparagraph (Note 3) -URI http://asc.fasb.org/extlink&oid=6584154&loc=d3e38371-112697 Reference 2: http://www.xbrl.org/2003/role/presentationRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 20 -Section 50 -Paragraph 2 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=6453985&loc=d3e41502-112717 + Details
Name: | us-gaap_OperatingLeasesFutureMinimumPaymentsDueThereafter
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant