Commit d18e01352c549452f924d8d942d131b6bd29b3ce

Werner Lemberg 2003-07-25T22:21:57

(code_header, code_footer): Don't change font colour directly but use a special <pre> class.

diff --git a/ChangeLog b/ChangeLog
index cf1b97b..42bfa15 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -15,6 +15,8 @@
 	but use a new <span> class.
 	(section_synopsis_header, section_synopsis_footer): Don't change
 	colour.
+	(code_header, code_footer): Don't change font colour directly but
+	use a special <pre> class.
 	(print_html_field): <tr> gets the `valign' attribute, not <table>.
 	(print_html_field_list): Ditto.
 	(index_exit): Don't use <center>...</center> but `align=center'
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 7f08e8d..f5c3c54 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -32,6 +32,8 @@ html_header_2= """ API Reference</title>
                  text-align: left;
                  white-space: pre;
                  color: darkblue; }
+
+  pre.colored { color: blue; }
 </style>
 </head>
 <body>
@@ -55,8 +57,8 @@ section_title_footer = "</h1></center>"
 
 # The header and footer used for code segments.
 #
-code_header = "<font color=blue><pre>"
-code_footer = "</pre></font>"
+code_header = '<pre class="colored">'
+code_footer = '</pre>'
 
 # Paragraph header and footer.
 #