Leases - Future Minimum Lease Rentals Receivable under Noncancelable Operating Leases (Details) $ in Thousands	Apr. 30, 2020 USD ($)
Leases [Abstract]
2021	$ 165
2022	149
2023	96
2024	98
2025	100
Thereafter	50
Future minimum lease payments receivable	658
2020	194
2021	105
2022	55
2023	0
2024	0
Thereafter	0
Future minimum lease payments receivable	$ 354

No definition available.

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

- Definition

Amount of lease payments to be received by lessor for operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceived
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor in fifth fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor in fourth year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor in next fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor after fifth fiscal year following latest statement of financial position date for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedThereafter
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor in third fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedThreeYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor in second fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future minimum rental payments in aggregate as of the balance sheet date under operating leases.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=84164653&loc=d3e41551-112718

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within one year of the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the fifth year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the fourth year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the third year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInThreeYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the second year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future minimum lease payments receivable under operating leases for periods greater than five years following the balance sheet date.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableThereafter
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant