开发者工具的默认字号是否太大了? 目前的字号是16，行号是16. 一屏写不了多少代码，也感觉不够精致。 还有字体，能不能出一款微信小程序mono字体。