]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
web site update
[helm.git] / helm / www / lambdadelta / bin / xhtbl / xmlUnparser.ml
index e60a6a46c3e21a792577c35216046de44d41d2d5..2f29e4bb728192f22c7f5142428826d63013597e 100644 (file)
@@ -8,6 +8,8 @@ module O = Options
 module T = Table
 module M = Matrix
 
+let xhtbl = "xhtbl"
+
 let i = 0
 
 let myself = F.basename (Sys.argv.(0))
@@ -46,14 +48,14 @@ let key cell =
 let ind i = S.make (2 * i) ' '
 
 let out_cell och cell =
-   let cc = border cell in
+   let cc = xhtbl :: border cell in
    P.fprintf och "%s<td class=\"%s\"%s>%s</td>\n"
-      (ind (i+4)) (S.concat " " cc) (name cell) (key cell)
+      (ind (i+3)) (S.concat " " cc) (name cell) (key cell)
 
 let out_row och row =
-   P.fprintf och "%s<tr>\n" (ind (i+3));
+   P.fprintf och "%s<tr class=\"%s\">\n" (ind (i+2)) xhtbl;
    A.iter (out_cell och) row;
-   P.fprintf och "%s</tr>\n" (ind (i+3))
+   P.fprintf och "%s</tr>\n" (ind (i+2))
 
 let out_space och (name, uri) =
    let name = if name = "" then name else ":" ^ name in
@@ -74,10 +76,8 @@ let open_out name spaces =
 
 let output och name matrix =
    P.fprintf och "<xsl:template name=\"%s\">\n" name;
-   P.fprintf och "%s<table cellpadding=\"4\" cellspacing=\"0\">\n" (ind (i+1));
-   P.fprintf och "%s<tbody>\n" (ind (i+2));
-   A.iter (out_row och) matrix.M.m; 
-   P.fprintf och "%s</tbody>\n" (ind (i+2));
+   P.fprintf och "%s<table class=\"%s\" cellpadding=\"4\" cellspacing=\"0\">\n" (ind (i+1)) xhtbl;
+   A.iter (out_row och) matrix.M.m;
    P.fprintf och "%s</table>\n" (ind (i+1));
    P.fprintf och "</xsl:template>\n\n"