[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: |
Tue, 24 Nov 2009 08:41:13 +0100 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; de; rv:1.9.1.4pre) Gecko/20090915 SUSE/3.0b4-3.6 Lightning/1.0pre Thunderbird/3.0b4 |
Am 23.11.2009 23:41, schrieb Patrice Dumas:
> Now the default is to have <div class="example"> and
> div.example {margin-left: 3.2em}
>
> It in fact looks a bit better than before since the table elements
> added some extra vertical spaces, and also the indentation wasn't really
> enough compared with other kinds of indentation and other formats
> output.
>
> Thanks.
Thank you for taking care!
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
signature.asc
Description: OpenPGP digital signature
- Re: Problematic indentation in HTML output of makeinfo, (continued)
- 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
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/23
- Re: Problematic indentation in HTML output of makeinfo,
Thomas Keller <=