diff --git a/docs/generic.css b/docs/generic.css
index 208e31e367887c0ef73a009695819d6758ca136e..ac39f32661cc1ab8e819a1c1c7ea4323dee28451 100644
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -27,6 +27,10 @@ dt {
   margin-right: 2em;
 }
 
+dt code {
+  font-weight: bold;
+}
+
 dl dd {
   margin-left: 2em;
   margin-right: 2em;