Various misc. UI tuning.

Include a new attempt at colored header labels :)