Add extra DIV to prevent Font_Test DIV from adding space to the page, even temporarily.
Hack to allow new web fonts to be used locally.  The naming of the new fonts should be changed to use the same name for both PC and Mac formats, but that is for a future release.  Still need to test Linux.
Simplify handling of new web fonts when selected by menu.
Add a new fonts parameter for HTML-CSS to simplify font configuration.
Simplify font selection code for SVG output.
images: Optimize PNG images further with optipng and advpng.

The commands used for recompression were:

    optipng -zc1-9 -zm1-9 -zs0-3 -f0-5 *.png
    advpng -z3 *.png
    advpng -z4 -i500 *.png

Note that advpng uses different algorithms when recompressing the image. The
3 refers to 7zip's deflate implementation, while 4 refers to Google's
zopfli.  For zopfli, the argument to -i specifies how many iterations to
run.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>
Make testCollection properly mark STIX fonts as not having the style characters, and fix testing for STIX or MathJax at beginning of font names.
Work around stupid Fedora stix font package that incorrectly aliases all STIXGeneral fonts to STIX-Word fonts.  Resolves issue #501.
Merge pull request #750 from rbrito/recompress-pngs

images: Optimize PNG images further with optipng and advpng. (Closes #748)
Merge remote-tracking branch 'dpvc/font-fixes' into develop.  Resolves #501 and others.