🚀 go-pugleaf

I thought that I'd just post my menubar preferences so that those of you
with color monitors could have a starting place for configuring your
environment (and so you might be motivated to get on patch.10).  I set
colors based on whether or not I'm logged into my RS6K, rascal.

(rascal) gk5g> cat preferences
?M=rascal.andrew.cmu.edu:ez.foregroundcolor: black
?M=rascal.andrew.cmu.edu:ez.backgroundcolor: antiquewhite1
?M=rascal.andrew.cmu.edu:console.foregroundcolor: black
?M=rascal.andrew.cmu.edu:console.backgroundcolor: cornsilk
?M=rascal.andrew.cmu.edu:typescript.foregroundcolor: black
?M=rascal.andrew.cmu.edu:typescript.backgroundcolor: cornsilk3
?M=rascal.andrew.cmu.edu:messages.foregroundcolor: black
?M=rascal.andrew.cmu.edu:messages.backgroundcolor: cornsilk2

console.bodyfont: andysans12
?M=rascal.andrew.cmu.edu:ez.bodyfont: andysans14
?M=rascal.andrew.cmu.edu:messages.bodyfont: andysans14
?M=rascal.andrew.cmu.edu:messages-send.bodyfont: andysans14

messages.PopupMenuList: "",  "Other"
ez.PopupMenuList: "",  "Other"
*.PopupMenuList: ""
console.Menubar:off
*.Menubar:on
*.PopUpMenus:on
*.MenubarShadowDepth: 3
*.MenubarTitleFont: andysans14
?M=rascal.andrew.cmu.edu:*.MenubarItemFont: andysans14b

?M=rascal.andrew.cmu.edu:*.MenubarTitlesColor: black
?M=rascal.andrew.cmu.edu:*.MenubarTitleColor: black
?M=rascal.andrew.cmu.edu:*.MenubarBackgroundColor:#9db5cd
?M=rascal.andrew.cmu.edu:*.MenubarItemColor: #fce089
?M=rascal.andrew.cmu.edu:*.MenubarCardBackgroundColor:#9db5cd

*.MenubarGrayItemColor:grey80
*.MenubarGrayTitleColor:grey60

?M=rascal.andrew.cmu.edu:*.MenubarTopShadowColor: lightgrey
?M=rascal.andrew.cmu.edu:*.MenubarBottomShadowColor: grey

?M=rascal.andrew.cmu.edu:*.MenubarCardTopShadowColor: lightgrey
?M=rascal.andrew.cmu.edu:*.MenubarCardBottomShadowColor:grey

Have fun.
Gary Keim