Leases (Lease Cost) (Details) $ in Thousands |
3 Months Ended |
|---|---|
|
Apr. 30, 2019
USD ($)
| |
| Leases [Abstract] | |
| Operating lease expense | $ 1,074 |
| Weighted average remaining lease term | 11 years 5 months 26 days |
| Weighted average discount rate | 4.37% |
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amount of operating lease expense. Excludes sublease income. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Weighted average discount rate for operating lease calculated at point in time. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Weighted average remaining lease term for operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|