octave-maintainers
[Top][All Lists]
Advanced

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

Re: external fonts in octave.css


From: Oliver Heimlich
Subject: Re: external fonts in octave.css
Date: Wed, 29 Jun 2016 00:35:26 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.1.0

On 28.06.2016 22:16, Oliver Heimlich wrote:
> Am 28. Juni 2016 21:14:53 MESZ, schrieb Mike Miller <address@hidden>:
>> Oliver and all,
>>
>> The css @font-face declarations in octave.css seem to always download
>> external fonts when I view octave.html locally, even when I have the
>> correct fonts installed locally. The attached patch fixes this for me
>> by
>> adding a full specification for each of the variants of the two fonts
>> used.
>>
>> I don't know my way around css very well, so asking for review. Does
>> this look acceptable to you?
> 
> Hi Mike,
> 
> Looks good to me. Actualy, I am not sure whether the old src-local directive 
> was 100% correct.
> 
> Maybe you could also remove the old local() part, but it shouldn't be harmful 
> to leave it in.
> 
> 
> Oliver
> 

According to my research [1], you may drop the original local()
directives, but should add additional local() directives with the fonts'
postscript names, which are as follows:

RobotoCondensed-Bold
RobotoCondensed-BoldItalic
RobotoCondensed-Italic
RobotoCondensed-Regular

FantasqueSansMono-Bold
FantasqueSansMono-BoldItalic
FantasqueSansMono-Regular
FantasqueSansMono-Italic

The postscript names alone work for me locally, as do the display names
introduced by your patch. The old local() directives don't work on my
system and should be removed entirely.

Oliver

[1]
https://www.broken-links.com/2009/06/30/checking-for-installed-fonts-with-font-face-and-local/



reply via email to

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