Re: kbd and similar command within code

[Karl Berry]

    There are quotes added for 'file', 'option', 'samp'.

I think file and option should be like @code, without quotes.
(That's what TeX does, now.)

I think indicateurl should use quotes (like @samp), not angle brackets.
(That's what TeX does, now.)

If people complain about the lack (or addition) of quotes, we can always
change things back, I don't feel terribly strongly about any of this,
but it seems good for tex and html to do the same thing.

rms explicitly disliked angle brackets (or whatever) for @key,
preferring just typewriter (no quotes).  Thus what TeX does is:

  % If the current font is already monospace, don't change it; that way,
  % we respect @kbdinputstyle.  But if it isn't monospace, then use \tt.

I'm not imagining a way to do exactly that in HTML, though.

Thanks,
k