User-definable font sizes.

[trysting]

Can we please set up more accessible font sizes for the playlists, and on the other hand, be able to reduce the monster-sized pathnames and info display in the actual player?

The font sizes in VLC player are weird. The filename/title is huge, the left playlist pane is legible, and the actual list text is so small that I can't read them on a close-by monitor, and definitely not on the screens across the room.