plt/racket — pull request #661 by mbutterick (2014-05-28 21:39:22+00:00)
Title: reduce size of manual-fonts.css

By request of @mflatt: File size reduced from 801K to 441K (by removing unneeded characters from Fira Sans fonts).