Como posso alterar o tamanho da fonte da vlc tooltip?

Question

Quando eu passo o mouse sobre a barra de tempo no VLC, uma dica de ferramenta é exibida indicando o tempo de sobrevoo do vídeo. Para mim, esta dica de ferramenta é muito pequena e difícil de ver, a menos que você se aproxime da tela.

O ajuste dos tamanhos de fonte no meu tema atual (Adwaita) não parece corrigir esse problema, que eu acreditava inicialmente estar associado à configuração de temas do Gtk 2.0.

Atualmente, estou usando a área de trabalho do Gnome, versão 3.20, mas também experimentei esse problema em outras áreas de trabalho (Unity, Cinnamon etc.).

Eu incluí uma captura de tela para descrever meu problema.