Re: kbd and similar command within code

[Patrice Dumas]

On Mon, Jul 30, 2012 at 11:03:05PM +0000, Karl Berry wrote:
>     There are quotes added for 'file', 'option', 'samp'.
> 
> 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.

Right, I implemented that, also (as I said previously) @file is now
<samp>.

> 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.

Well, that's pretty easy (to be honest, now that's pretty easy), but it
is very strange as in @kbd (which should be the common case), there is 
nothing that distinguish the @key.

-- 
Pat