(DOC-890) Kill old unused font references

This should get rid of any Cufon or web fonts stuff for fonts we haven't used in
four years.
guts: Add a comment about what html5.js is for