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
