diff --git a/ocamldoc/odoc_html.ml b/ocamldoc/odoc_html.ml
index 422e09c78..09e6a5870 100644
--- a/ocamldoc/odoc_html.ml
+++ b/ocamldoc/odoc_html.ml
@@ -507,6 +507,7 @@ class html =
"body { background-color : White }" ;
"tr { background-color : White }" ;
"td.typefieldcomment { background-color : #FFFFFF }" ;
+ "pre { margin-bottom: 4px }" ;
]
(** The style file for all pages. *)
@@ -896,7 +897,8 @@ class html =
method html_of_type t =
Odoc_info.reset_type_names ();
let father = Name.father t.ty_name in
- ""^(self#keyword "type")^" "^
+ "
"
+ Type_abstract -> ""
| Type_variant l ->
- "="^
+ (self#keyword "type")^" "^
(* html mark *)
""^
(match t.ty_parameters with
@@ -907,10 +909,10 @@ class html =
(Name.simple t.ty_name)^" "^
(match t.ty_manifest with None -> "" | Some typ -> "= "^(self#html_of_type_expr father typ)^" ")^
(match t.ty_kind with
- Type_abstract -> "
"^
- "