From 940f5abafc12d1767baa6ab142d38f34b36fb29e Mon Sep 17 00:00:00 2001 From: Werner Lemberg Date: Fri, 25 Jul 2003 22:21:57 +0000 Subject: [PATCH] (code_header, code_footer): Don't change font colour directly but use a special 
 class.

---
 ChangeLog                    | 2 ++
 src/tools/docmaker/tohtml.py | 6 ++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index cf1b97bfe..42bfa15dd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -15,6 +15,8 @@
 	but use a new  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 
 class.
 	(print_html_field):  gets the `valign' attribute, not .
 	(print_html_field_list): Ditto.
 	(index_exit): Don't use 
...
 but `align=center'
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 7f08e8d92..f5c3c541d 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -32,6 +32,8 @@ html_header_2= """ API Reference
                  text-align: left;
                  white-space: pre;
                  color: darkblue; }
+
+  pre.colored { color: blue; }
 
@@ -55,8 +57,8 @@ section_title_footer = ""
 
 # The header and footer used for code segments.
 #
-code_header = "
"
-code_footer = "
"
+code_header = '
'
+code_footer = '
'
 
 # Paragraph header and footer.
 #