[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problematic indentation in HTML output of makeinfo
From: |
Thomas Keller |
Subject: |
Re: Problematic indentation in HTML output of makeinfo |
Date: |
Fri, 20 Nov 2009 08:10:12 +0100 |
User-agent: |
Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; de; rv:1.9.1.4pre) Gecko/20090915 Lightning/1.0pre Thunderbird/3.0b4 |
Am 20.11.09 07:59, schrieb Thomas Keller:
> [..] So putting
>
> @ifhtml
> @exampleindent 0
> @end ifhtml
>
> in the header fixes my problem.
Apparently I was too fast - while first-level preformatted areas no
longer have the unwanted whitespace, deeper levels still have it, see
again the attached files.
I tried to also set @paragraphindent to 0, but this didn't work. Is
there anything else I could set here?
I guess its visually pleasing to indent HTML output, but at least for
indenting preformatted contents its harmful. A good rule of thumb here
should be "indent the elements, not the contents" wherever possible,
because somebody might simple want to render another element (not only
@example or @smallexample) with a fixed width and would run into the
same problems.
Thomas.
--
GPG-Key 0x160D1092 | address@hidden | 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
Top
This is
a small
example
which
works
test.texi
Description: Text document
signature.asc
Description: OpenPGP digital signature
- Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/18
- Re: Problematic indentation in HTML output of makeinfo, Karl Berry, 2009/11/20
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/20
- Re: Problematic indentation in HTML output of makeinfo,
Thomas Keller <=
- Re: Problematic indentation in HTML output of makeinfo, Karl Berry, 2009/11/21
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22