Думаю, тут еще сильно зависит от того, как это все отображает монитор. У меня выглядит вполне нормально; остальные варианты как-то хуже воспринимаются. Тем более, то, что обычно интересует, выделяется другим цветом. Да и не так часто я смотрю в top :)