Added lines back, at 1/2 their old thickness.

The GNOME Human Interface Guidelines states:
Do not use color as the only means to distinguish items of information.
All such information should be provided by at least one other method,
such as shape, position or textual description.