As per https://groups.google.com/forum/#!topic/mathjax-dev/vy76UgdM7kA, the menu PNGs can be optimized further.
