version 0.7.2: different default color (`#0055aa`) for origin lines