From 9d2a3d254576d366802181094443b1b492685a1b Mon Sep 17 00:00:00 2001
From: Jeff Teunissen <deek@d2dc.net>
Date: Mon, 11 Jul 2011 12:58:56 -0400
Subject: [PATCH] Docs: Re-enable bolding

also, make CODE tags bold, to help them stand out a little more.
---
 doc/doxygen.css | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/doc/doxygen.css b/doc/doxygen.css
index f03f5179c..ff65ff378 100644
--- a/doc/doxygen.css
+++ b/doc/doxygen.css
@@ -5,6 +5,11 @@ body, table, div, p, dl {
 	font-size: 12px;
 }
 
+/* Make code fragments in doc text stand out */
+code {
+	font-weight: bold;
+}
+
 /* @group Heading Levels */
 
 h1 {
@@ -125,17 +130,17 @@ a.elRef {
 
 a.code {
 	color: #4444cc;
-/*	font-weight: bold;*/
+	font-weight: bold;
 }
 
 a.code:visited {
 	color: #444488;
-/*	font-weight: bold;*/
+	font-weight: bold;
 }
 
 a.codeRef {
 	color: #6666ff;
-/*	font-weight: bold;*/
+	font-weight: bold;
 }
 
 /* @end */