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