--- a/styles/mswindows.common Mon Nov 25 16:20:45 2013 +0100
+++ b/styles/mswindows.common Mon Nov 25 16:24:54 2013 +0100
@@ -2,7 +2,7 @@
;
; this is not yet completed
;
-; $Header: /cvs/stx/stx/libview/styles/mswindows.common,v 1.11 2013-11-25 15:20:45 stefan Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows.common,v 1.12 2013-11-25 15:24:54 stefan Exp $
name #mswindows
@@ -19,8 +19,8 @@
popupBorderWidth 1
viewBackground =viewGrey
-font Font family:'arial' face:'medium' style:'roman' size:12
-textFont Font family:'courier new' face:'medium' style:'roman' size:12
+font Font family:'arial' face:'medium' style:'roman' size:10
+textFont Font family:'courier new' face:'medium' style:'roman' size:10
scrollBar.position #right
scrollBar.buttonPositions #around
--- a/styles/mswindows95.common Mon Nov 25 16:20:45 2013 +0100
+++ b/styles/mswindows95.common Mon Nov 25 16:24:54 2013 +0100
@@ -1,5 +1,5 @@
;
-; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.18 2013-11-25 15:20:45 stefan Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.19 2013-11-25 15:24:54 stefan Exp $
;
is3D true
@@ -31,8 +31,8 @@
textFont Font family:'courier' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
font Font family:'helvetica' face:'medium' style:'roman' size:14 encoding:#'iso10646-1'
# else
-textFont Font family:'courier new' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
-font Font family:'arial' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
+textFont Font family:'courier new' face:'medium' style:'roman' size:10 encoding:#'iso10646-1'
+font Font family:'arial' face:'medium' style:'roman' size:10 encoding:#'iso10646-1'
# endif
menu.font =font
activeHelp.font =font