docs: Add bold style for <dt><code> elements

Add bolding for <dt><code> elements to make them "stick out" on the
page rather that just a stream of text where the elements only differ
by slightly different font style.

diff --git a/docs/generic.css b/docs/generic.css
index 208e31e367887c0ef73a009695819d6758ca136e..ac39f32661cc1ab8e819a1c1c7ea4323dee28451 100644 (file)
--- 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;