index.php: Make links being bold
tree454eef40939377c32e34752fb08a1ba4e0346f47
-rw-r--r-- 60 .gitignore
drwxr-xr-x - css
-rw-r--r-- 3261 docs.php
drwxr-xr-x - downloads
lrwxrwxrwx 19 favicon.ico -> images/nasmicon.ico
drwxr-xr-x - images
-rw-r--r-- 5375 index.php
-rw-r--r-- 2437 links.php
drwxr-xr-x - links
-rw-r--r-- 873 navbar.inc
-rw-r--r-- 250 robots.txt