Re the quote environment:
I just notice that
one can use the numbered list functionality also inside the quote environment (nice!)
but it comes out un-indented and un-shrunken (here is an example).
Not a big deal. But maybe it’s not hard to adjust this?
]]>Belated news about the font changes (Re #155, #160, #162):
Cambria does seem to come from MS Office, on a Mac. I’ve come across two Macs not using it. They use the default serif. Also, my system has Cambria but not Cambria Math. It’s using STIX for math. Wikipedia makes it sound like this odd distribution of Cambria on Mac is typical.
]]>It was intended to be noticeably smaller, yes. It is fine for my eyes on both computer and phone, but I can make it larger if people wish.
]]>As of this change, the blockquote text is very small for me. Specifically, 14px, compared to regular text’s 18px. Was this intended? I don’t much like it. What about making it 18px or 16px?
]]>Re #165 and following: I have now decreased font size from 19px to 18px. Let me know if it is better or if further changes are needed.
Re #168 and #169: The only issue with Noto Serif is that I assume there is no ’maths font’ version of it, whereas we have been aiming for fonts which do have a maths version, like Cambria and DejaVu. If you don’t think this is an issue, I can add it. It would only affect Mac I guess.
]]>Hah, the irony. I originally tried using Noto Sans, but then we went all Serif-y. I certainly don’t object to the font size suggestions (smaller on desktop, not on mobile).
]]>Good idea to reduce font size a little bit, I second that suggestion.
By the way, a font which is still in the spirit of similar to DejaVu Serif but which looks IMO quite a bit better is Noto Serif (https://fonts.google.com/specimen/Noto+Serif). Noto is more delicate but still has a similar feel.
I also think the new font is more readable, especially on mobile, and on a beamer. I would also try to make it smaller, except on mobile, where it’s already pretty small.
Thanks to everyone for the work!
]]>I think you may be right, I will try that out when I get the chance unless somebody objects.
]]>Thanks very much Richard, I think the new fonts look very nice.
What do other people think about reducing the default font size a smidgen? With the new fonts at their current size I think the nLab looks best at about 90% zoom in Firefox.
]]>Great! Thanks for the feedback everybody, very helpful. I have now removed the cache, so all pages should use either DejaVu Serif or Cambria now when these fonts are available. I have also removed use of Computer Modern completely, using just a local serif font and Stix instead when neither DejaVu Serif or Cambria are available (e.g. on a mobile). If anybody finds any other mathematics fonts that we should add to the list, just let me know.
]]>I’m now seeing DejaVu Serif, and I have to say that I feel it is a lot more readable than before. Thank you for the continued updates and improvements, I really appreciate it!
]]>My Firefox lists Cambria as being used. (NB I do not have MS Office : see #155) It also lists a Dejavu font.
]]>Thanks all for checking! Yes, any page which was not cached from before, or has been edited since, will have the new font.
Re #160: thanks very much for letting me know! How does it look? Can anyone else on a Mac confirm use of Cambria in Firefox?
]]>comma category looks okay to me on Linux. (Other pages now seem to also be using this font? At least, I think they all look different.) We might want to reduce the default font size a smidgen with this font relative to CM, I’m not sure.
]]>It looks pretty good to me. Somewhat reminiscent of the NYTimes.
]]>No problem! I’m not sure if there is a good font we can try on a mac or on an android phone.
]]>Apparently not :-)
]]>Has anything changed on the Mac, David? I wasn’t aware that a Mac would have either of the two fonts I added!
]]>comma category looks good to me on my Mac with Chrome. Will test Firefox as well.
]]>Re #149 and #151: this seems unfortunately to be a particularity of the computer modern web font.
I am getting the feel that we should look to change font (e.g. #147). This is a bit unfortunate now that people are just getting used to computer modern. For comparison, I have now made DejaVu Serif / DejaVu Math TeX Gyre the first choice with Cambria and Cambria Math as backup, but have not removed cached rendered pages except for comma category. If you’re on Linux or Windows and have those fonts (as you probably will), please take a look at comma category and let me know if it looks OK. To me on Linux it looks fine and is easier to read than the computer modern web font. I no longer have easy access to a Windows machine and cannot test there myself.
]]>Have’t been following the discussion lately, just want to say:
The way the typesetting comes out now I find excellent!
Thanks to everyone who helped make this happen!!
]]>Richard, my bad! Somehow I thought I’d linked to it, and now I see that my message must have been very mysterious! :)
https://ncatlab.org/nlab/show/Science+of+Logic
]]>