HoTT/book — pull request #670 by JasonGross (2014-04-16 19:56:00+00:00)
Title: Add dvimode, remove pagecolor package

This closes #666.

Travis will now test dvi mode for us. This is primarily useful for
htlatex.

If we care about trailing spaces, I can go put them back.