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; + }