No Linux, a opção é claramente visível.
Você tem a última versão do VLC?
Essa é a minha pergunta: Como posso alterar o tamanho da fonte das legendas no VLC Media Player? Eu tento com Preferências > Vídeo > Legendas / OSD, mas não consigo encontrar uma opção para alterar as características da fonte.
Defina "mostrar configurações" como Completo e vá para Vídeo > Legendas / OSD > Renderizador de texto - você pode alterar o tamanho da fonte em pixels.