(code_header, code_footer): Don't change font colour directly but use a special <pre> class.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
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.
#