[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problematic indentation in HTML output of makeinfo
From: |
Patrice Dumas |
Subject: |
Re: Problematic indentation in HTML output of makeinfo |
Date: |
Sun, 22 Nov 2009 16:28:22 +0100 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Sun, Nov 22, 2009 at 12:46:35AM +0000, Karl Berry wrote:
> @smallexample
> This is
> a small
> example
> @end smallexample
>
> Patrice, can you check whether texi2html inserts the extra spaces in the
> HTML output as makeinfo does? It would be good to have the indentation
> controllable in css.
In texi2html there is no extra space added, however the indentation is
achieved through wrapping the <pre> in a table:
<table><tr><td> </td><td><pre class="smallexample">This is
a small
example
</pre></td></tr></table>
So this is not really possible to use css for the indentation. To drop the
table, the simplest should be to do, in an init file (with the cvs
version, in the release, on has to use something along q{""}):
foreach my $complex_format (keys(%$complex_format_map))
{
$complex_format_map->{$complex_format}->{'end'} = "";
$complex_format_map->{$complex_format}->{'begin'} = "";
}
This may also modify how some parts of menus are formatted. To avoid that
you could also do something along:
foreach my $complex_format (keys(%$complex_format_map))
{
next if grep {$_ eq $complex_format} ('menu', 'detailmenu', 'direntry',
'menu_comment');
$complex_format_map->{$complex_format}->{'end'} = "";
$complex_format_map->{$complex_format}->{'begin'} = "";
}
Should this be associated with a variable that may be set in an init file?
--
Pat
- 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, 2009/11/20
- Re: Problematic indentation in HTML output of makeinfo, Karl Berry, 2009/11/21
- Re: Problematic indentation in HTML output of makeinfo,
Patrice Dumas <=
- 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, 2009/11/24