More intense highlights for selected objects. Bold font would be cool, but I think TGUI doesn't allow that, right?