Increase the size of the border of selected nodes in the html trace.
-rw-r--r-- 286 .gitignore
-rw-r--r-- 26 AUTHORS
-rw-r--r-- 850 COPYING
-rw-r--r-- 423 HACKING
-rw-r--r-- 702 INSTALL
-rw-r--r-- 8654 LICENSE
-rw-r--r-- 26 Makefile.in
-rw-r--r-- 3232 Remakefile.in
-rwxr-xr-x 35 autogen.sh
-rw-r--r-- 5891 configure.in
drwxr-xr-x - include
-rw-r--r-- 77286 remake.cpp
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - tools