Is there any way to: 1. Make the running time on the progress bar bigger? 2. Make the fonts on the progress bar and various other menus to be made bold? After using VLC Media player for two decades, I finally found THE best player having almost all the features I want and love. THANK YOU, Mirillis. ...