Package: tex4ht
Version: 20090521-1
Severity: normal
<img src="manual-web0x.png" alt="PIC" class="graphics"
width="888.31874pt" height="630.355pt"><!--tex4ht:graphics
name="manual-web0x.png" src="img/home.eps" -->
The actual image size is 885x628 pixels. First, HTML does not use points
at all; see §6.6 [0]. Second, the width and height attributes are
defined to take type "length" (see §13.7.1 [1]) which is defined in §6.6
as either an integer (number of pixels) or a percentage.
Finally, even if we were to ignore the HTML standard's prohibition of
points, and import CSS's use of them, CSS uses PostScript (1/72")
points, but TeX (and tex4ht) are using TeX points (1/72.27"). Also, it
assumes a 72dpi[2] display whereas most modern displays are closer to
100dpi, so expect some serious scaling[3] — of a bitmap image.
[0]: http://www.w3.org/TR/html4/types.html#h-6.6
[1]: http://www.w3.org/TR/html4/struct/objects.html#h-13.7.1
[2]: This can be seen from doing a little math on the size of the image
and the point size tex4ht is spewing out:
888.31874 × (1⁄72.27) ÷ (1⁄72) ≅ 885
[3]: 888.31874 PostScript points ≅ 1234 pixels @ 100 ppi. So the image
will be scaled up almost 40%, gaining either a good deal of
jaggedness or blurryness.
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (500, 'testing'), (500, 'stable'), (100, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.30-1-686 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages tex4ht depends on:
ii libc6 2.9-12 GNU C Library: Shared libraries
ii libkpathsea4 2007.dfsg.2-6 TeX Live: path search library for
ii tex4ht-common 20090521-1 LaTeX and TeX for Hypertext (HTML)
ii texlive-base-bin 2007.dfsg.2-6 TeX Live: Essential binaries
tex4ht recommends no packages.
tex4ht suggests no packages.
-- no debconf information
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
