|
Boost : |
From: John Maddock (john_at_[hidden])
Date: 2008-03-05 05:03:51
Kevin Lynch wrote:
> So, I would suggest rendering the images with a large number of pixels
> (perhaps your 150dpi images), and then relying on the relative scaling
> attributes in the <img> tags (or css, whichever) to make them the
> "right" size. Most browsers do a pretty good job of downscaling
> images
> when explicitly requested. Then everyone can be happy.
Not a bad idea at all: but I'm not sure how to make that work with the
quickbook toolchain. Remember that whatever we do has to rely on automated
processing: there are way to many equations in Boost.Math now to mark these
up by hand (and then maintain them!) I'm assuming that there is no way to
make a selection based on the screen dpi in css?
Cheers, John.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk