Re: In HTML mode, @quotation uses <blockquote> AND sets indentation to 5 spaces!

[Reinhold Kainhofer]

Hi Karl,

Am Sonntag, 30. März 2008 schrieben Sie:
> Hi Reinhold,
>
>     @quotation
>     @example
>
> But if you say @quotation + @example, you are requesting two indented
> environments.  

Exactly. But I get the example indented three times:
Once by <blockquote>, another manual 5 spaces from @quotation and then the 5 
spaces from @example...

Since @quotation is already indented by <blockquote> automatically, there 
should not be an additional whitespace indentation of its contents.

> So I think my question is, why are you using @quotation around @example
> in the first place, since you're not (I guess) quoting anything?  

Actually, our problem is with @verbatim inside @quotation, which gets indented 
twice (once by <blockquote> and a second time with whitespaces)....

>     @quotation
>     @verbatim
>     Similarly, text in @verbatim environments inside @quotation IS
>     indented by 5 spaces...
>     @end verbatim
>     @end quotation
>
> Verbatim is verbatim -> no indentation -> the indentation you're seeing
> is from @quotation.  As requested by the input. 

I suppose, I didn't expect myself clearly:

Of course, the quotation should be indented, and then the verbatim should not 
be indented relative to quotation - That's exactly what my patch tries to 
solve. The issue is that the indentation for @quotation is already done by 
HTML's <blockquote>, so the contents of @quotation should not get an 
additional 5-space indentation as they do now, effectively indenting them 
twice!

Look at the html file that I attached:
<blockquote>
<pre>
     Similarly...
</pre>
</blockquote>
Notice that the blockquote already adds the indentation in the browser, so the 
verbatim should not get any spaces.

Another example:

@quotation
Some text
@verbatim
blah
@end verbatim
@end verbatim

I suppose, you expect the "blah" to be aligned with "Some text", right? 
Wrong, currently the @verbatim is indented relative to "Some text"...


My whole point is that @quotation is translated as <blockquote>, which is 
already indented by the Browser, so there is no need for manually indenting 
its contents once more with spaces. This is the purpose of my patch. 

Cheers,
Reinhold
-- 
------------------------------------------------------------------
Reinhold Kainhofer, Vienna University of Technology, Austria
email: address@hidden, http://reinhold.kainhofer.com/
 * Financial and Actuarial Mathematics, TU Wien, http://www.fam.tuwien.ac.at/
 * K Desktop Environment, http://www.kde.org, KOrganizer maintainer
 * Chorvereinigung "Jung-Wien", http://www.jung-wien.at/