[css2] fixed for nsgmls. still font in pre prob

ianbjacobs · ianbjacobs · commit a3f8fd489dce · 1997-08-15T14:00:16.000Z
--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%4043
diff --git a/css2/Makefile b/css2/Makefile
@@ -1,6 +1,6 @@
 # Makefile to generate the CSS2 document based on its "source files"
 # Arnaud Le Hors - lehors@w3.org
-# $Id: Makefile,v 1.12 1997-08-14 23:43:29 bbos Exp $
+# $Id: Makefile,v 1.13 1997-08-15 14:00:16 ian Exp $
 
 ROOT = .
 
@@ -120,8 +120,9 @@ INSAFTER= $(PERL) ./bin/insafter
 ADDLINKS= $(PERL) ./bin/addlinks
 
 # utility to generate the PostScript version
-HTML2PSARGS= -n -D -R
-HTML2PSARGS= -n -D
+# -R seems broken for this spec.
+# HTML2PSARGS= -n -D -R
+HTML2PSARGS= -n -D 
 HTML2PS= $(PERL) html2ps
 HTML2PS= html2ps
 
diff --git a/css2/visudet.src b/css2/visudet.src
@@ -1,6 +1,6 @@
 <!DOCTYPE HTML SYSTEM "http://www.w3.org/TR/WD-html40/sgml/HTML4.dtd">
 <html lang="en">
-<!-- $Id: visudet.src,v 1.6 1997-08-14 00:45:37 ian Exp $ -->
+<!-- $Id: visudet.src,v 1.7 1997-08-15 13:57:54 ian Exp $ -->
 <HEAD>
 <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
 <TITLE>Visual flow model details</TITLE>
@@ -580,7 +580,7 @@ describes a simple 100 pixel box with a thin solid red border:
 Applied to an empty &lt;DIV&gt;, this would look something like:
 
 <div class="example"><P>
-<p><pre>
+<pre>
 <font color="#ff0000">     
      +------------+
      |            |
@@ -589,7 +589,8 @@ Applied to an empty &lt;DIV&gt;, this would look something like:
      |            |
      |            |
      +------------+
-</font></pre></p>
+</font>
+</pre>
 </div>
 
 
@@ -603,8 +604,9 @@ element. Consider a block of long, preformatted text:
 <PRE>
 &lt;P id=overlay&gt;
 &lt;PRE&gt;Here is some long preformatted text.
-&lt;/PRE&gt;&lt;P&gt;
-</PRE></p>
+&lt;/PRE&gt;
+&lt;P&gt;
+</PRE>
 </div>
 
 <p>With <span class="propinst-overflow">'overflow'</span> set to
@@ -614,15 +616,16 @@ declared width, and any padding or border will be rendered outside of
 this new width. The example might be rendered something like:</p>
 
 <div class="example"><P>
-<p><pre><font color="#ff0000">
+<pre><font color="#ff0000">
 +--------------------------------------+
 |</font> Here is some long preformatted text. <font color="#ff0000">|
 |                                      |
 |                                      |
 |                                      |
 |                                      |
 +--------------------------------------+
-</font></pre></p>
+</font>
+</pre>
 </div>
 
 <p>Similarly, the height of the element will be extended should the
