styles/mswindows95.common
changeset 3756 e41d0b4f269b
parent 3750 e410988ac7ca
child 3969 b1f257b4dd7c
--- a/styles/mswindows95.common	Tue Oct 29 12:24:12 2002 +0100
+++ b/styles/mswindows95.common	Tue Oct 29 16:10:35 2002 +0100
@@ -1,5 +1,5 @@
 ;
-; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.1 2002-10-25 11:28:17 ca Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.2 2002-10-29 15:10:35 cg Exp $
 ;
 
 is3D                            true
@@ -222,8 +222,8 @@
 dataSet.labelView.level             0
 
 activeHelp.backgroundColor               Color yellow lightened lightened lightened
-activeHelp.borderWidth                   2
-activeHelp.font                          Font family:'helvetica' face:'medium' style:'roman' size:8
+activeHelp.borderWidth                   1
+activeHelp.font                          Font family:'helvetica' face:'medium' style:'roman' size:12
 
 ;
 ; if running under windows, use the systemColor settings