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.