Reverted to rev. 8837

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

source/Configuration.XML

@@ -75,7 +75,7 @@ To update: Configuration.Init ~
 		</Section>
 		<Section name="FontManager">
 			<Section name="DefaultFont">
-				<Setting name="Name" value="DejaVu"/>
+				<Setting name="Name" value="Vera"/>
 				<Setting name="Size" value="14"/>
 			</Section>
 			<Section name="BoldFont">