]> granicus.if.org Git - python/commitdiff
(texi2html.py): Added CLASS=Navigation attribute to DIV around top/bottom
authorFred Drake <fdrake@acm.org>
Fri, 11 Oct 1996 16:54:00 +0000 (16:54 +0000)
committerFred Drake <fdrake@acm.org>
Fri, 11 Oct 1996 16:54:00 +0000 (16:54 +0000)
navigation links for HTML 3 version.

Forced a blank line above the footnotes separator for HTML 2; at
least one page did not get this spaced correctly.

Doc/texi2html.py
Doc/tools/texi2html.py
Tools/scripts/texi2html.py

index 7d96da38746b23bd6813e5e0948d4853d06c947c..d1c1a746b41bc49a56fe343195f628051c1b0b87 100644 (file)
@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode):
     DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">'
 
     def open_links(self):
-       self.write('<DIV>\n <HR>\n')
+       self.write('<DIV CLASS=Navigation>\n <HR>\n')
 
     def close_links(self):
        self.write(' <HR>\n</DIV>\n')
@@ -163,7 +163,7 @@ class TexinfoParser:
     FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \
                        ' HREF="#footnoteref%(id)s">' \
                        + FN_ID_PATTERN + '</A>\n%(text)s<P>\n'
-    FN_HEADER = '\n<HR NOSHADE SIZE=1 WIDTH=200>\n' \
+    FN_HEADER = '\n<P>\n<HR NOSHADE SIZE=1 WIDTH=200>\n' \
                '<STRONG><EM>Footnotes</EM></STRONG>\n<P>'
 
 
index 7d96da38746b23bd6813e5e0948d4853d06c947c..d1c1a746b41bc49a56fe343195f628051c1b0b87 100644 (file)
@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode):
     DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">'
 
     def open_links(self):
-       self.write('<DIV>\n <HR>\n')
+       self.write('<DIV CLASS=Navigation>\n <HR>\n')
 
     def close_links(self):
        self.write(' <HR>\n</DIV>\n')
@@ -163,7 +163,7 @@ class TexinfoParser:
     FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \
                        ' HREF="#footnoteref%(id)s">' \
                        + FN_ID_PATTERN + '</A>\n%(text)s<P>\n'
-    FN_HEADER = '\n<HR NOSHADE SIZE=1 WIDTH=200>\n' \
+    FN_HEADER = '\n<P>\n<HR NOSHADE SIZE=1 WIDTH=200>\n' \
                '<STRONG><EM>Footnotes</EM></STRONG>\n<P>'
 
 
index 7d96da38746b23bd6813e5e0948d4853d06c947c..d1c1a746b41bc49a56fe343195f628051c1b0b87 100755 (executable)
@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode):
     DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">'
 
     def open_links(self):
-       self.write('<DIV>\n <HR>\n')
+       self.write('<DIV CLASS=Navigation>\n <HR>\n')
 
     def close_links(self):
        self.write(' <HR>\n</DIV>\n')
@@ -163,7 +163,7 @@ class TexinfoParser:
     FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \
                        ' HREF="#footnoteref%(id)s">' \
                        + FN_ID_PATTERN + '</A>\n%(text)s<P>\n'
-    FN_HEADER = '\n<HR NOSHADE SIZE=1 WIDTH=200>\n' \
+    FN_HEADER = '\n<P>\n<HR NOSHADE SIZE=1 WIDTH=200>\n' \
                '<STRONG><EM>Footnotes</EM></STRONG>\n<P>'