Changed color in graph visualization for uncolored nodes.

The 'gray' is too similar to one of the colors in category10/20, so we
switched to use 'lightgray' instead.