X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass2.ml;h=549d7654ec22957cc037889db886c60c2fbc1e68;hb=7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4;hp=68cc7ba9990d35e045cb6a3ea0c174fb7e3620cb;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/pass2.ml b/helm/www/lambdadelta/bin/xhtbl/pass2.ml
index 68cc7ba99..549d7654e 100644
--- a/helm/www/lambdadelta/bin/xhtbl/pass2.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/pass2.ml
@@ -50,11 +50,11 @@ let set_key st t = match t.T.te with
    | T.Key (T.Text sl) -> M.set_key st.tm t.T.ts.T.y t.T.ts.T.x sl  
    | _                 -> ()
 
-let set_css st t =
+let set_attrs st t =
    let rec aux y x =
       if y >= t.T.ts.T.rf then () else
       if x >= t.T.ts.T.cf then aux (succ y) 0 else begin
-	 M.set_css st.tm (t.T.ts.T.y + y) (t.T.ts.T.x + x) t.T.tc;
+	 M.set_attrs st.tm (t.T.ts.T.y + y) (t.T.ts.T.x + x) t.T.tc t.T.tu t.T.tx t.T.tn;
          aux y (succ x)
       end
    in
@@ -114,7 +114,7 @@ let open_table st t =
    print st t; st
 
 let close_table st t =
-   set_key st t; set_css st t; set_borders st t; st
+   set_key st t; set_attrs st t; set_borders st t; st
 
 let map_key st k = st