From 1e733c1928d102a4eab362c52b9dd944ee321db7 Mon Sep 17 00:00:00 2001
From: John Ferlan <jferlan@redhat.com>
Date: Thu, 21 Apr 2016 07:54:30 -0400
Subject: [PATCH] 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.
---
 docs/generic.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/generic.css b/docs/generic.css
index 208e31e367..ac39f32661 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;
-- 
2.47.2