Bold the links in indexlist

Author: Your Full Name

default.css

@@ -86,6 +86,7 @@ li { margin: 0.25em 2em 0.5em 0; padding-left: 0 }
 ul.indexlist { margin-left: 0; columns: 13em; }
 ul.indexlist li { margin-left: 0; list-style: none }
 ul.indexlist li li { margin-left: 1em }
+ul.indexlist a { font-weight: bold; }
 
 /* Examples */