use scalable font

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8350 8c9fc860-2736-0410-a75d-ab315db34111

source/FoxA2Interface.Mod

@@ -14,7 +14,7 @@ TYPE
 		BEGIN
 			InitBasicWriter(w); alertCount := 0; commentCount := 0; keywordCount := 0;
 			IF w IS TextUtilities.TextWriter THEN
-				w(TextUtilities.TextWriter).SetFontName("Courier");
+				w(TextUtilities.TextWriter).SetFontName("Vera");
 			END;
 		END InitA2Writer;