make line-highlight colors configurable