*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Tue, 09 Oct 2018 23:08:08 +0200
changeset 8495 942e955f8b71
parent 8494 1eccce5b527e
child 8496 8f3546dc85d4
*** empty log message ***
styles/macosx_yosemite.style
styles/mswindows95.common
--- a/styles/macosx_yosemite.style	Tue Oct 09 19:46:36 2018 +0200
+++ b/styles/macosx_yosemite.style	Tue Oct 09 23:08:08 2018 +0200
@@ -33,13 +33,10 @@
 comment  'Un style qui résemble MacOSX Yosemite (incomplet)'
 #endif
 
-; button.font                              (Font family:'helvetiva' face:'roman' style:'bold' size:12 )
-
 selection.backgroundColor                   (Color white)
 ; selection.backgroundColor                   (Color rgbValue:16rf0f1f4)
 ; selection.hilightBackgroundColor            (Color rgbValue:16rf0f1f4)
 selection.hilightBackgroundColorNoFocus     (Color rgbValue:16rd7dce1)
-; selection.font                              (Font family:'lucida' face:'roman' style:'bold' size:12 )
 
 menu.iconIndicationOn.bitmap                (ToolbarIconLibrary checkToggleOnIcon)
 menu.iconIndicationOff.bitmap               (ToolbarIconLibrary checkToggleOffIcon)
--- a/styles/mswindows95.common	Tue Oct 09 19:46:36 2018 +0200
+++ b/styles/mswindows95.common	Tue Oct 09 23:08:08 2018 +0200
@@ -42,7 +42,7 @@
 # menu.font              Font family:'helvetica' face:'demilight' style:'roman' size:12 encoding:#'iso10646-1'
 # menu.font         Font family:'Lucida Grande' face:'demibold' style:'roman' size:12 encoding:#'iso10646-1'
 font              Font family:'Arial' face:'regular' style:'roman' size:12 encoding:#'iso10646-1'
-menu.font         Font family:'Arial' face:'bold' style:'roman' size:12 encoding:#'iso10646-1'
+menu.font         Font family:'Arial' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
 button.font       =menu.font
 #activeHelp.font   =font