Carlos: the value you need to move to is 13.333px ... to test gnome-terminal, please set that directly in gconf-editor as the UI fix that in gnome is missing. e.g. go to /desktop/gnome/interface/monospace_font_name and set that to "Monospace 13.333px" or just unset the key. ... same for the other settings you modified - if you did that.
Carlos: the value you need to move to is 13.333px ... to test gnome-terminal, please set that directly in gconf-editor as the UI fix that in gnome is missing. e.g. go to /desktop/ gnome/interface /monospace_ font_name and set that to "Monospace 13.333px" or just unset the key. ... same for the other settings you modified - if you did that.