Re: stretchy characters in firefox mobile (android)
Karl Tomlinson <[email protected]> Wed, 21 Sep 2011 10:26:55 +1200
| Newsgroups | gmane.comp.mozilla.devel.mathml |
|---|---|
| Message-ID | <[email protected]> |
David Carlisle writes: > I got dejavu serif set up as a web font kit from > > http://www.fontsquirrel.com/fonts/DejaVu-Serif#fontface > > and modified your example, hopefully as intended: > > http://monet.nag.co.uk/~dpc/djvmml.html > > it looks OK on my desktop but the mobile version is still showing > boxes for the brackets. The subsetting Font Squirrel provided has removed the characters need for building the parentheses from parts (U+239B, etc). You can select "Don't Subset" which makes the files somewhat larger. It would probably be possible to use fontforge or something to delete glyphs to pick the subset that you want, but I don't know whether you want to get into that.