Whats font used in macros in macro manager

Hello can someone tell me whats the font name used here in macros in insert screen in macro manager? See the photo