better default unused face#651

dradetsky wants to merge 1 commit intogreghendershott:mastergreghendershott/racket-mode:masterfrom

dradetsky:change-unused-facedradetsky/racket-mode:change-unused-faceCopy head branch name to clipboard