After deciding that DejaVu Sans Mono was my favorite, I discovered that it was, in fact, already the default monospace font on my system – it looks like Gnome aliases the default to “Monospace”. It does look better in 12 point than in 11, though.
Honestly, most of them look pretty much the same to me, though Linux Libertine Mono stands out as a serif monospace font.
