[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: rethinking @def*

From: Gavin Smith
Subject: Re: rethinking @def*
Date: Sun, 31 Jul 2022 20:40:49 +0100

On Sun, Jul 31, 2022 at 07:46:02PM +0200, pertusus@free.fr wrote:
> In HTML, with firefox, the typewriter face is smaller than the other
> faces which is suboptimal for the @def* formatting, and probably all
> over documents.  But I think that we should not do anything and leave
> that to the browser.

I'd never noticed that before, but you are right, it is like that
everywhere (in Chromium too).  I think we should just accept it.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]