Change the border width for the header so we get the bottom bit
-rw-r--r-- 2636 blame.php
-rw-r--r-- 3072 browse.php
drwxr-xr-x - dev
-rw-r--r-- 2944 diff.php
-rw-r--r-- 1660 global.php
drwxr-xr-x - includes
-rw-r--r-- 1535 index.php
-rw-r--r-- 2468 log.php
drwxr-xr-x - templates
-rw-r--r-- 2471 view.php