summaryrefslogtreecommitdiff
path: root/ocamldoc
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc')
-rw-r--r--ocamldoc/odoc_html.ml6
1 files changed, 5 insertions, 1 deletions
diff --git a/ocamldoc/odoc_html.ml b/ocamldoc/odoc_html.ml
index 784913e688..a211d30746 100644
--- a/ocamldoc/odoc_html.ml
+++ b/ocamldoc/odoc_html.ml
@@ -336,7 +336,11 @@ class virtual text =
in
fun b s ->
if !colorize_code then
- self#html_of_code b (remove_useless_newlines s)
+ (
+ bs b "<pre class=\"codepre\">";
+ self#html_of_code b (remove_useless_newlines s);
+ bs b "</pre>"
+ )
else
(
bs b "<pre class=\"codepre\"><code class=\"";