微信开发者工具

请问一下，微信开发者工具的默认字体是哪个啊？我手贱改了一下，还是发现原来默认的好啊！！！！

有哪位大神能指教一下 (跪求)