[ritchie] Nice colour for vertical border and line numbers.