Kaydet (Commit) 22f7f9e6 authored tarafından Fred Drake's avatar Fred Drake

(texi2html.py): Added CLASS=Navigation attribute to DIV around top/bottom

	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.
üst 4bf1296e
...@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode): ...@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode):
DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">' DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">'
def open_links(self): def open_links(self):
self.write('<DIV>\n <HR>\n') self.write('<DIV CLASS=Navigation>\n <HR>\n')
def close_links(self): def close_links(self):
self.write(' <HR>\n</DIV>\n') self.write(' <HR>\n</DIV>\n')
...@@ -163,7 +163,7 @@ class TexinfoParser: ...@@ -163,7 +163,7 @@ class TexinfoParser:
FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \ FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \
' HREF="#footnoteref%(id)s">' \ ' HREF="#footnoteref%(id)s">' \
+ FN_ID_PATTERN + '</A>\n%(text)s<P>\n' + 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>' '<STRONG><EM>Footnotes</EM></STRONG>\n<P>'
......
...@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode): ...@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode):
DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">' DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">'
def open_links(self): def open_links(self):
self.write('<DIV>\n <HR>\n') self.write('<DIV CLASS=Navigation>\n <HR>\n')
def close_links(self): def close_links(self):
self.write(' <HR>\n</DIV>\n') self.write(' <HR>\n</DIV>\n')
...@@ -163,7 +163,7 @@ class TexinfoParser: ...@@ -163,7 +163,7 @@ class TexinfoParser:
FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \ FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \
' HREF="#footnoteref%(id)s">' \ ' HREF="#footnoteref%(id)s">' \
+ FN_ID_PATTERN + '</A>\n%(text)s<P>\n' + 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>' '<STRONG><EM>Footnotes</EM></STRONG>\n<P>'
......
...@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode): ...@@ -147,7 +147,7 @@ class HTML3Node(HTMLNode):
DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">' DOCTYPE = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML Level 3//EN//3.0">'
def open_links(self): def open_links(self):
self.write('<DIV>\n <HR>\n') self.write('<DIV CLASS=Navigation>\n <HR>\n')
def close_links(self): def close_links(self):
self.write(' <HR>\n</DIV>\n') self.write(' <HR>\n</DIV>\n')
...@@ -163,7 +163,7 @@ class TexinfoParser: ...@@ -163,7 +163,7 @@ class TexinfoParser:
FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \ FN_TARGET_PATTERN = '<A NAME=footnotetext%(id)s' \
' HREF="#footnoteref%(id)s">' \ ' HREF="#footnoteref%(id)s">' \
+ FN_ID_PATTERN + '</A>\n%(text)s<P>\n' + 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>' '<STRONG><EM>Footnotes</EM></STRONG>\n<P>'
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment