css tweak

diff --git a/docs/style.css b/docs/style.css
index 4b7d4e1..c0a9749 100644 (file)
--- a/docs/style.css
+++ b/docs/style.css
@@ -57,5 +57,10 @@ padding: 0 10px;
 }
 
 .tests {
-font-size: 80%;
+  font-size: 80%;
+  font-weight: bold;
+}
+.tests a {
+  font-weight: normal;
+  text-decoration: none;
 }