--- a/styles/macosx_yosemite.style Wed Feb 08 01:07:58 2017 +0100
+++ b/styles/macosx_yosemite.style Wed Feb 08 18:32:06 2017 +0100
@@ -33,13 +33,13 @@
comment 'Un style qui résemble MacOSX Yosemite (incomplet)'
#endif
-; button.font (Font family:'helvetiva' face:'roman' style:'bold' size:14 )
+; 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:14 )
+; selection.font (Font family:'lucida' face:'roman' style:'bold' size:12 )
menu.iconIndicationOn.bitmap (ToolbarIconLibrary checkToggleOnIcon)
menu.iconIndicationOff.bitmap (ToolbarIconLibrary checkToggleOffIcon)
@@ -157,7 +157,7 @@
;; no: that is really too ugly
;; activeHelp.backgroundColor (Color grey:95)
activeHelp.borderColor (Color grey:70)
-activeHelp.font (Font family:'helvetica' face:'roman' style:'bold' size:14)
+activeHelp.font (Font family:'helvetica' face:'roman' style:'bold' size:12)
dataSet.labelView.backgroundColor (Color rgbValue:16rF2F2F2)