racket/gui cocoa: adjust control font for 10.10