Re: HTML conversion should ignore 'exdent' command

[Patrice Dumas]

On Sat, Nov 15, 2014 at 11:48:52PM +0000, Karl Berry wrote:
> Patrice,
> 
> 1. Can CSS be used to accomplish the exdenting?  Extra blank lines seem
> troublesome.  Ignoring @exdent doesn't sound right either.

I do not know enough about CSS to answer that (in fact I known almost
nothing about CSS, besides the syntax).  In particular, I do not know if
it is possible to use style to avoid extra blank lines with <pre>, nor
what CSS triggers exdenting.

> 2. In TeX, the exdented text is printed in roman.  I don't know if
> HTML/CSS has a way to say "go back to the main font" (which might be
> either serif or sans-serif in the HTML world) these days.  It didn't use
> to.  Anyway, it would be nice if it could happen, but using either
> span.roman or span.sansserif specifically doesn't seem right.

That should be easier, however, as we already use 
  "font-family: inherit;"
for the @display and @format that are similarly in <pre> but should not
be in monospace font.

-- 
Pat