@dansup why is the highlighted tab smaller than the non-highlighted ones? In most UIs I've seen, it's the other way around.