avoid unicode in the document? Duy Nguyen (30 Aug 2020 01:41 UTC)
Re: avoid unicode in the document? Marc Nieper-Wißkirchen (30 Aug 2020 08:15 UTC)
Re: avoid unicode in the document? Duy Nguyen (30 Aug 2020 09:17 UTC)
Re: avoid unicode in the document? Marc Nieper-Wißkirchen (30 Aug 2020 09:42 UTC)
Re: avoid unicode in the document? Marc Nieper-Wißkirchen (30 Aug 2020 13:07 UTC)
Re: avoid unicode in the document? Arthur A. Gleckler (30 Aug 2020 18:35 UTC)
Re: avoid unicode in the document? Marc Nieper-Wißkirchen (31 Aug 2020 06:47 UTC)
Re: avoid unicode in the document? Arthur A. Gleckler (31 Aug 2020 07:10 UTC)
Re: avoid unicode in the document? Marc Nieper-Wißkirchen (31 Aug 2020 07:15 UTC)
Re: avoid unicode in the document? Arthur A. Gleckler (31 Aug 2020 07:30 UTC)
Re: avoid unicode in the document? Duy Nguyen (31 Aug 2020 09:10 UTC)
Re: avoid unicode in the document? Marc Nieper-Wißkirchen (31 Aug 2020 09:28 UTC)
Re: avoid unicode in the document? Duy Nguyen (31 Aug 2020 10:46 UTC)
Re: avoid unicode in the document? Marc Nieper-Wißkirchen (31 Aug 2020 10:53 UTC)

Re: avoid unicode in the document? Duy Nguyen 31 Aug 2020 09:10 UTC

On Mon, Aug 31, 2020 at 1:35 AM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:
>
> On Sun, Aug 30, 2020 at 6:07 AM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:
>>
>> Arthur, could we add a number of fallback fonts that are known to
>> contain most relevant glyphs are are widespread in the pages' CSS?
>> (FYI: My browser renders everything in the DejaVu Serif font.)
>
>
> I'm hoping that Duy can investigate his own configuration a bit more before we have to do something like this.  But if someone provides me with an appropriate block of font declarations for srfi.css, I'll consider it.  I'm very sensitive to page payload size, though.

I'm pretty sure default fontconfig configuration will attempt to fall
back to another font if available. I just don't happen to have any
fonts that cover "Miscellaneous Mathematical Symbols-A" block.

My point is probably opposite of Marc's, avoid unicode characeters
unless absolutely needed, and in this case '<' and '>' should work
just fine. Please don't update css to add more fonts because of me.
--
Duy