2 files changed, 8 insertions, 0 deletions
diff --git a/html/shaddock.css b/html/shaddock.css
index 7928c832..82c8bfef 100644
--- a/html/shaddock.css
+++ b/html/shaddock.css
@@ -115,6 +115,10 @@ tt, pre, code  {
   white-space: nowrap;
 }
 
+.def {
+	font-weight: bold;
+}
+
 ul {
 	padding: 0;
 }
diff --git a/html/xhaddock.css b/html/xhaddock.css
index 695acc43..ee493d51 100644
--- a/html/xhaddock.css
+++ b/html/xhaddock.css
@@ -76,6 +76,10 @@ pre  {
 	margin-top: 0;
 }
 
+.def {
+	font-weight: bold;
+}
+
 ul.links {
 	list-style: none;
 	text-align: left;