html-editor-font-family-update

Updates the font-face of the html editor back to those used in 3.1.