Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 11 of 11
And then I immediately changed the order of the fonts, on the grounds that neither you nor Jacques can do it right. (^_^) I use DejaVu Sans for text and DejaVu Serif for math; these look great, except that bold text looks a little … goofy.
Have to make it easy for people though.
Hmmm, not sure that I want anyone to be able to change the fonts for how I see the 'lab. Presumably you're editing the global CSS, which also presumably is not editable by just anyone (or is it? not sure I like that!). What is really needed is a way to alter one's own view of the 'lab. The difference in view between different computers is because the fonts being used are local. Thus what one machine thinks of as a "Georgia" font may not be the same as another machine. Many operating systems have a complicated system of aliases for fonts to map "standard" fonts to ones that the designer of the OS thinks is a suitable replacement.
Ah, but the browser gets its font information from the OS. The browser requests the font from the machine but it's up to the machine what font it actually supplies. It is, at least on a Linux system, possible for the user to completely override the fonts supplied without the browser having a clue what's going on.
This is often necessary if the font requested is not available. Some distributions are more restrictive on what they include than others and so have to define replacement fonts for the standard ones.
That's why the same page can look completely different on different computers. And that's why it can be very difficult to get webpages to look right - which leads back to the whole TikZ and SVG stuff.
<div>
<blockquote>This is often necessary if the font requested is not available.</blockquote> That is a bit wonky. If the font requested is not available, then please go to the next font on the list, not the font that some Debian geek decided was close enough! (Although I can see the Debian geek's perspective as well; this really requires more intelligent communication between the OS and the browser.)<p><blockquote>Have to make it easy for people though.</blockquote> I'm pretty sure that Bruce means to make it easy for people to change their <em>local</em> stylesheet. And making this easy is part of what Stylish is all about.<p>Also Bruce, does that 90em-high edit box really look good on your machine? I had to chop it in half to get it to fit without scrolling! In the end, you did almost everything wrong; you just showed me how to do it right for myself. (^_^)</p></p>
</div>
Well, okay, I was being a bit simplistic. Mainly because I'm not an expert on these things, but have just poked around a bit under the bonnet and have gotten a vague idea. Sometimes font substitutions are due to preference, sometimes due to licensing, but mainly because of the old "You say Times New Roman, I say -adobe-times-bold-i-normal--0-0-100-100-p-0-iso8859-1
" problem. Saying 'Georgia' just isn't enough to specify an actual font.
There's no problem with the communication between the browser and the OS. There will only be an alias defined if the Debian geek has actually decided that the given font is a suitable stand-in for the requested font. And that will only happen if it really is a stand-in, they won't say "Times New Roman? Let's give them a fixed width font instead.". It's more like "Times New Roman? Well, we've got one of them from adobe and one from Monotype. Let's run with the Monotype one as it looks cleaner.".
Just remembered another reason all this substitution goes on. Some fonts are designed specifically for LCD screens, some for CRTs, and some for printing. Obviously you want the OS to choose which one of these should be provided because only the OS knows what's really going on (well, with LCD and CRT at least).
This also feeds into Toby and Mike's discussion on the other thread. On the web, it ought to be that the website is as non-prescriptive as possible and leaves it up to the user and browser how best to display the information. It shouldn't be that a webpage doesn't display correctly because the browser is the wrong width (the BBC site really irritates me on this), and I should be able to override any silly settings that the author has chosen to make it easier for me to use their website. If everything has to look "just so" then HTML (and its derivatives) really are the wrong protocol. Make a movie and stick it on YouTube instead.
I have been trying to get my personal homepage editing to use the larger subwindow by using the nLab style. I cannot make it work! :-( Can someone give me ’helpful advice’? Ta!
1 to 11 of 11