Re: pre.display and serif

[Patrice Dumas]

On Thu, Aug 23, 2012 at 06:53:52PM +0000, Karl Berry wrote:
> Hi Patrice,
> 
> Looking at your most recent manual updates first ...
> 
>     -pre.display @{ font-family:inherit @}
>     -pre.smalldisplay @{ font-family:inherit; font-size:smaller @}
>     +pre.display @{ font-family:serif @}
>     +pre.smalldisplay @{ font-family:serif; font-size:smaller @}
> 
> It seems wrong to me to force "serif".  @display should use the same
> font as the main document, which might well be sans serif.  That's why I
> used "inherit" in the first place.  Is there a problem with it?

<pre> cannot happen in <pre>.  So when there are @display within
@example, the @example preformatted span is closed when the @display
begins and another pre is opened for the @display.  For example

@example
in example
@display
in display
@end display
@end example

leads to 
<pre class="example">
in example
</pre><pre class="example">
in display
</pre>

To select the correct style, the formatter looks at thenesting of
@-commands and stops as soon as an @-command like @example is found and
it overrides the @display class.

-- 
Pat