Our documentation contains a *lot* of symbols, and due to
styling they actually look smaller than the surrounding text.
The end result is that quickly scanning the documentation
looking for a specific setting doesn't work very well.
Make all symbols bold so they stand out more.
Suggested-by: John Ferlan <jferlan(a)redhat.com>
---
docs/generic.css | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/docs/generic.css b/docs/generic.css
index 208e31e..ac39f32 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.5.5