The font size of the workflow editor is very tiny. It seems to be smaller then all the other editor boxes in Jenkins.

Personally I think it should be the same font size then any other editor box, at least this should be the default.