[css2] Changed .gif to .png.

bert-github · bert-github · commit 32b205924f7f · 2003-10-08T09:57:01.000Z
--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%402184
diff --git a/css2/page.src b/css2/page.src
@@ -1,6 +1,6 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
 <html lang="en">
-<!-- $Id: page.src,v 2.38 2003-09-05 14:25:28 bbos Exp $ -->
+<!-- $Id: page.src,v 2.39 2003-10-08 09:57:01 bbos Exp $ -->
 <HEAD>
 <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
 <TITLE>Paged media</TITLE>
@@ -90,7 +90,7 @@ href="#page-context">page context</a>. The following diagram shows the
 relationships between the sheet, page box, and page margins:</P>
 
 <div class="figure">
-<P><img src="./images/page-info.gif" alt="Illustration of sheet, page
+<P><img src="./images/page-info.png" alt="Illustration of sheet, page
 box, margin, and page area."></p>
 </div>
 
