X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fhtml.ml;h=46d602c9eacee5cacf538b780e84c5743de36a7c;hp=d59265813564e1f259b7aeb14c183ac8d82a4ab1;hb=3df27c09d9b9a84abe1c3d546c2e7243d3173657;hpb=da84ba92e452d4d2a3eaf89f7638db25a7f84909

diff --git a/src/html.ml b/src/html.ml
index d592658..46d602c 100644
--- a/src/html.ml
+++ b/src/html.ml
@@ -50,8 +50,8 @@ let gen_trace (type s) = fun auto t tree ->
       let tag = QName.to_string (T.tag tree node) in
       let lbox = (String.length tag + 2) * 10 in
       let s_node = "node" ^ (string_of_int node_id) in
-      fprintf osvg "<rect id=\"%s\" onclick=\"activate(\'%s\');\" x=\"%i\" y=\"%i\" width=\"%i\" height=\"20\" style=\"fill:rgba(255,%i,%i,255);stroke-width:2;stroke:rgb(0,0,0)%s\"/>\n%!"
-        s_node s_node x y lbox color color (if marked then "" else ";stroke-dasharray:2,2");
+      fprintf osvg "<rect id=\"%s\" onclick=\"activate(\'%s\');\" x=\"%i\" y=\"%i\" width=\"%i\" height=\"20\" style=\"fill:rgba(255,%i,%i,255);stroke:rgb(0,0,0)%s\"/>\n%!"
+        s_node s_node x y lbox color color (if marked then ";stroke-width:4" else ";stroke-width:2;stroke-dasharray:2,2");
       fprintf osvg "<text x=\"%i\" y=\"%i\" style=\"font-size:17;font-family:typewriter;\" onclick=\"activate(\'%s\');\" >%s</text>\n" (x+10) (y+15) s_node tag;
       fprintf ohtml "data['%s'] = new Array();\n" s_node;
       M.iter