- From: Håkon Wium Lie <howcome@opera.com>
- Date: Tue, 24 Feb 2009 12:55:55 +0100
- To: thomas <thomas.bsd@gmail.com>
- Cc: WWW Style <www-style@w3.org>
Also sprach thomas: > >> fied > > > > This would be a really bad thing to do. Suppose the reader doesn't have this > > particular font, but does have a different font that uses U+E03C for > > something quite different -- such as an arbitrary dingbat or a non-Latin > > character, which would appear as "junk", or even an "ll" or "lm" or "bb" > > ligature, which would completely change the meaning of the text. > > This is perfectly true for a web page. But say I want to print an html > page. I could do some replacements to improve the typographic quality. > I know I own the font anyway. In a private environment, doing > s/tt/\uE03C/ is not a problem. I agree that private, printed environments need a touchup feature. This is the motivation for the 'text-replace' property [1] where you can write: body { font: ... ; text-replace: "tt" "\E03C" } [1] http://dev.w3.org/csswg/css3-gcpm/#text-replace -h&kon Håkon Wium Lie CTO °þe®ª howcome@opera.com http://people.opera.com/howcome
Received on Tuesday, 24 February 2009 12:03:27 UTC