On Sun, Aug 07, 2022 at 02:41:46PM +0100, Gavin Smith wrote: > On Sun, Aug 07, 2022 at 03:29:22PM +0200, Patrice Dumas wrote: > > I think that for @t, it would be better to use > > <span class="t"> and have span.t => font-family: monospace; as I propose > > above, as @t has no semantic interpretation of code. (For all the other > > places where we used <tt> before, <code> is most likely better.) > > Using an HTML tag <code> is better than using CSS because it means > the text will be distinguished even in the absence of CSS; for example, > in a terminal browser like Lynx, or if the CSS is disabled or missing > for some reason.
Ok. I am not fully convinced, but it is not that important anyway. CSS can be used based on the class if users wantsomething else. -- Pat
