Re: @deffn in @smallbook into margin

[Karl Berry]

    I don't know why this value is set to what it is.

I don't either.  Someone else (Dan LaLiberte?) wrote the original
version of the @def... macros many years ago.  I figured it was just to
make a little more space available on the line, since those function
definitions can be quite long.

I could go either way on making the change or not ...

Thanks,
k