Just installed 3.2 on Linux. Font size is too small and the tip in the F= AQ=20 does not work. How might I change font and size?