I am using GIMP and I couldn't get the same results for the font with using verdana size 7. But I did a little experiment and it looks exactly the same if I use verdana size 9. I am not sure why it matters in graphics manipulator you are using, but note that GIMP is Verdana 9, not 7.