styles/macosx_yosemite.style
changeset 8378 c78a88405eba
parent 8082 dd2850cfa80b
child 8494 1eccce5b527e
--- a/styles/macosx_yosemite.style	Thu Jun 07 19:21:06 2018 +0200
+++ b/styles/macosx_yosemite.style	Thu Jun 07 22:00:20 2018 +0200
@@ -159,6 +159,10 @@
 activeHelp.borderColor              (Color grey:70)
 activeHelp.font                     (Font family:'helvetica' face:'roman' style:'bold' size:12)
 
+activeHelp.backgroundColor          (Color grey:98)
+activeHelp.borderColor              (Color grey:70)
+activeHelp.font                     (Font family:'helvetica' face:'roman' style:'bold' size:10)
+
 dataSet.labelView.backgroundColor         (Color rgbValue:16rF2F2F2)
 
 launcher.editorLevel        0