Change the options screen font depending on the operating system (to match the Chrome Settings page)