The font you see in the Floating Panel isn't the right one, as seen here :
By default, it the operating system font that is used.
Here is the procedure to modify it:
https://www.howtogeek.com/716407/how-to-change-the-default-system-font-on-windows-10/