diff --git a/docs/generic.css b/docs/generic.css
index c4092abc2b..d15d85e67a 100644
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -25,7 +25,7 @@ dt {
   margin-right: 2em;
 }
 
-dt code {
+dt code, dt .literal {
   font-weight: bold;
 }