Changed font for Linux. Minor bug fixes.