From 6fe1a0084c39eb9c804b6174063a11f742675fdc Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jul 19 2011 15:56:57 +0000
Subject: Update `Webenv/Css/Texi2html/default.css':


    - Set dl dt definitions to use `font-weight:bold'.


---

diff --git a/Identity/Webenv/Css/Texi2html/default.css b/Identity/Webenv/Css/Texi2html/default.css
index 0164d8d..848bedb 100755
--- a/Identity/Webenv/Css/Texi2html/default.css
+++ b/Identity/Webenv/Css/Texi2html/default.css
@@ -96,3 +96,7 @@ div#page-body div#content h1 {
     padding-top: 1em;
     clear:both;
     }
+
+div#page-body div#content dl dt {
+    font-weight: bold;
+    }