Informal poll: What monospace font/size are you currently using for programming and terminal?