texinfo-devel
[Top][All Lists]
Advanced

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

Re: span.roman -> font-family:initial or :inherit?


From: Gavin Smith
Subject: Re: span.roman -> font-family:initial or :inherit?
Date: Mon, 4 Jan 2016 19:07:58 +0000

On 4 January 2016 at 18:50, Gavin Smith <address@hidden> wrote:
> On 4 January 2016 at 16:27, Karl Berry <address@hidden> wrote:
>> @r translates to
>> span.roman {font-family:serif; font-weight:normal}
>>
>> as in @r{hello} becoming
>>   <span class="roman">hello</span>
>>
>> It seems like would be better as font-family:inherit.
>> In the typical use of
>>
>> @example
>> some code; @r{some comment}
>> @end example
>>

"font-family:inherit" actually uses a monospaced font as well in this
context: I think it should be "font-family:initial".



reply via email to

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