Linux font, fixing nav on linux.
Adding helvetica as a fallback (todo: investigate verdana alternatives on linux).