Hopefully this has a straightforward answer. I am using the internal player to play mkv files with built-in subtitles. I can select the subtitles and get them to display on the screen (yay!). However, the subtitle font is pretty crap, aliased and a bit of a pain to read (boo!). How can I change the font for subtitles? Is there any kind of antialiasing available?

I'm probably going to have to switch to mplayer for now but it's also a pain to get all the right command-line options for an optimal experience (spdif audio out with dts/ac3 upmixing, vdpau for video, subtitle font, size, scaling method, antialiasing, position, etc etc etc). Would appreciate any pointers for the internal player.