Use navy for identifiers.

This looks better than the maroon that was used previously, while
still making the identifiers stand out.