[css2] Added definition of <font-face-name>. Also stated that font-face-names

bert-github · bert-github · commit ae76e77725e2 · 1998-05-05T14:48:23.000Z
should be quoted, even though the examples are not. This will give us
a chance to write an erratum later, when we know what it should be...

--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%401638
diff --git a/css2/fonts.src b/css2/fonts.src
@@ -1,6 +1,6 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
 <html lang="en">
-<!-- $Id: fonts.src,v 2.47 1998-05-04 14:43:39 howcome Exp $ -->
+<!-- $Id: fonts.src,v 2.48 1998-05-05 14:48:23 bbos Exp $ -->
 <HEAD>
 <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
 <TITLE>Fonts</TITLE>
@@ -1341,6 +1341,9 @@ differentiate faces within a font family. For <a
 href="#aname">more information about full font names</a> please consult
 the notes below. 
 
+<p>The notation for a &lt;font-face-name&gt; is the full font name,
+quoted, and enclosed in "local(" and ")".
+
 <div class="example"><P>
 
 <dl>
