graphviz: enlarge stroke when hovering a node
graphviz: links are now colored according to the relation type