--- 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