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.