Re: line numbers, @sc

[Alper Ersoy]

Hello!

Karl Berry:
> 1) I've noticed line numbers in error messages being off by one, but not
> different line numbers in different output formats!  Please do send an
> example, I bet Alper would like to fix it :).

I suspect, I may have forgotten adjusting line number counter in a few
input_text_offset rollbacks in various places. :-\

> 3) Is there an HTML tag meaning small caps, or is CSS the only way?  I
> can't find any tag for it.  If that's right, then I agree with your
> suggestion.

I just committed this part, following Torsten's example.

Bye,

-- 
Alper Ersoy