use the right font depending on the OS