When I export to HTML and open in Chrome, console complains that it can't find data/fonts.css and everything displays in Arial. A code comment says this CSS is auto-generated. Is it? If this CSS was present, would it display the fonts correctly?