Increase the size of the border of selected nodes in the html trace.
[tatoo.git] / tests / trace /
drwxr-xr-x   ..
-rw-r--r-- 379 trace.css