I've seen for quite some time (all through F19) that the first time I login, the fonts used on the panel (and in some other places) are big and ugly. When I logout/login, I get the nice small fonts I like. Smells like some kind of race condition on startup.