>>>>> "Daniel" == Daniel Lohmann <[EMAIL PROTECTED]> writes:
Daniel> I would, however, also prefer to have a fixed font size for Daniel> all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). JMarc