summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2002-06-04 08:52:50 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2002-06-04 08:52:50 +0000
commit6f33a78438ef5e9aed6e825b0bda22f49ab7278f (patch)
treed065d25390998e6c866d7cb2d405d603621bf870
parent406bd0d3a9ece449d35fa1b60aaf6ce0d65bcd5c (diff)
utilisation d'une seule table pour les titres
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4873 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--ocamldoc/odoc_html.ml6
1 files changed, 2 insertions, 4 deletions
diff --git a/ocamldoc/odoc_html.ml b/ocamldoc/odoc_html.ml
index 00aa0c323..74b8f617a 100644
--- a/ocamldoc/odoc_html.ml
+++ b/ocamldoc/odoc_html.ml
@@ -211,12 +211,10 @@ class text =
None -> ""
| Some l -> "<a name=\""^(Naming.label_target l)^"\"></a>"
)^
- "<table cellpadding=0 cellspacing=0 width=\"100%\">\n"^
+ "<table cellpadding=5 cellspacing=5 width=\"100%\">\n"^
"<tr class=\""^css_class^"\"><td><div align=center>\n"^
- "<table><tr class=\""^css_class^"\">\n"^
- "<td width=\"100%\" align=center>\n"^
"<span class=\""^css_class^"\">"^(self#html_of_text t)^"</span>\n"^
- "</td>\n</tr>\n</table>\n</div>\n</td>\n</tr>\n</table>\n"
+ "</div>\n</td>\n</tr>\n</table>\n"
method html_of_Latex _ = ""
(* don't care about LaTeX stuff in HTML. *)