From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 18 Aug 2013 10:19:08 +0000 (+0200)
Subject: Increase the size of the border of selected nodes in the html trace.
X-Git-Tag: v0.1~43
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=3df27c09d9b9a84abe1c3d546c2e7243d3173657;hp=3df27c09d9b9a84abe1c3d546c2e7243d3173657

Increase the size of the border of selected nodes in the html trace.
---