Am 22.11.09 23:49, schrieb Patrice Dumas: > On Sun, Nov 22, 2009 at 07:47:52PM +0100, Thomas Keller wrote: >> >> correct padding afterwards. And the CSS box model already takes care of >> proper indentation on different levels, because the margins of all outer >> boxes add up. > > I didn't caught this one. Ok, this cannot be done with <pre> since <pre> > cannot be nested, but then maybe the table could be replaced by a <div> with > the space indentation css?
For example, yes. I have basically two wishes: a) Keep the (nested) structure of a document intact, so no "hacks" (sorry) like breaking up <pre> tags because they're nested b) Keep the HTML 100% stylable, so no "artificial" whitespaces which one cannot influence / remove via CSS. > This seems to me to be the right solution, I'll certainly implement it > as the default with the old behaviour being switched on by a variable. > (still useful in html3.2, for example). You're now speaking of texi2html, not makeinfo, right? Any chance that makeinfo's HTML output is updated as well? I'm just asking because we're currently not using texi2html and this might be a new build dependency for our project then... Thomas. -- GPG-Key 0x160D1092 | [email protected] | http://thomaskeller.biz Please note that according to the EU law on data retention, information on every electronic information exchange might be retained for a period of six months or longer: http://www.vorratsdatenspeicherung.de/?lang=en
signature.asc
Description: OpenPGP digital signature
