I'm running gmplayer on a big full HD display. works like a charm _but_ the font uset for the various pop-up windows (settings, playlists, etc.) is TINY on that screen. anybody got a clue as to what X resource I can use to adjust the font size for it?