On Fri, 2004-05-14 at 22:27 +0200, David Kastrup wrote:
I am not forgetting anything. Obviously, the rendered final HTML (which includes the ascender information, as well as the image dimensions, as well as math rendered into HTML instead of PNG) has to get cached somewhere already now. Whether the images can be cached depends on whether you want to go for the image-size-fits-browser-font-size hacks of Jan-Åke, or just render at a fixed size. Since dvipng is rather light on resources and can even be run continuously, it would be quite feasible to cache the .dvi files (which are size independent) and rerender the png dynamically.
Hm, th easiest way to scale images relative to the font size should be to use em's for height & width (and possible offsets via position:relative), but usually browsers don't do a very good job at scaling images- so i'm not sure if this is desirable at all.
Gabriel Wicke