set gui fonts on different platforms