Reducing tab size

[Hylke Bons]

>> I think this is a bad idea.  It's easy to remember that green means typing and
>> red means there's a message waiting for you (blue doesn't happen often enough
>> for it to matter, and gray is natural and doesn't need to be learned), but if
>> you add three more crazy colors into the mix it becomes a complex rainbow of
>> confusion.  We should make things simpler, not fancier.
>>     
The red, green and blue are just as vague, they don't make any sense either.

Hylke