Patrice, 1. Can CSS be used to accomplish the exdenting? Extra blank lines seem troublesome. Ignoring @exdent doesn't sound right either.
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. Best, Karl
