From 42ac542a913c78abbb18196b27dfbeee93c6a66f Mon Sep 17 00:00:00 2001
From: Morten Engvoldsen <morten.engvoldsen@nokia.com>
Date: Wed, 3 Nov 2010 11:16:33 +0100
Subject: Doc: fixing style - tool buttons to bold.

---
 doc/src/template/style/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/template/style/style.css b/doc/src/template/style/style.css
index faf17c8..783178d 100755
--- a/doc/src/template/style/style.css
+++ b/doc/src/template/style/style.css
@@ -797,7 +797,7 @@
         margin-right: 15px;
         font-weight: bold;
         color: #B0ADAB;
-        font: 10px/1.2 Verdana;
+        font: bold 10px/1.2 Verdana;
     }
 
     .toolbuttons #print
-- 
cgit v0.12