--- a/styles/mswindows95.common	Fri Apr 26 14:10:40 2013 +0200
+++ b/styles/mswindows95.common	Fri Apr 26 14:10:52 2013 +0200
@@ -1,5 +1,5 @@
 ;
-; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.15 2013-04-26 09:44:58 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.16 2013-04-26 12:10:52 cg Exp $
 ;
 
 is3D                            true
@@ -27,8 +27,8 @@
 activeHelp.font   ((Screen current getSystemParametersInfo:#SPI_GETNONCLIENTMETRICS) at:#statusFont) onDevice:Screen current
 #else
 # try scaled fonts first, if they are not available, they will be replaced
-textFont          Font family:'courier' face:'medium' style:'roman' size:10 encoding:#'iso10646-1'
-font              Font family:'helvetica' face:'medium' style:'roman' size:10 encoding:#'iso10646-1'
+textFont          Font family:'courier' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
+font              Font family:'helvetica' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
 menu.font         =font
 activeHelp.font   =font
 #endif