The unsolvability of the halting problem has a slightly weaker version of Goedel's first incompleteness theorem as a trivial corollary. You can use Turing machines to prove a stronger statement very easily as well. Therefore the CS perspective is very enlightening. See http://www.scottaaronson.com/blog/?p=710.
The font-family for the monospaced text is "monospace, serif". Any decent Linux system and/or browser would define "monospace" appropriately. Sounds like the problem's on your end.
Is it possible to use an oauth-based thing instead? I don't know if github lets you do much with oauth, I'm just a little wary of storing my password in what would presumably be plaintext.