idris-lang/idris-tutorial — pull request #50 by jfdm (2014-11-28 19:38:43+00:00)
Title: Made screen have a sans-serif font as default.

Easier on the eyes, so I am told.