(code_header, code_footer): Don't change font colour directly but

22 years ago · 940f5abafc
parent e7df0f905d
commit 940f5abafc
2 changed files with 6 additions and 2 deletions
--- a/2
+++ b/2
@ -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'
--- 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.
 #