gsamokovarov/web-console — pull request #10 by StanAngeloff (2013-07-25 12:56:55+00:00)
Title: Update font in console

Trivial, but thought using GitHub's font would yield better looks? :bulb: