| commit | 4a8a260ebfb24e54ad5186a292f548cac7a4ae20 | [log] [tgz] |
|---|---|---|
| author | kprice <kprice> | Thu May 18 15:46:23 2006 +0000 |
| committer | kprice <kprice> | Thu May 18 15:46:23 2006 +0000 |
| tree | 0ba689e5036db4388faddcc57cd6820eaed25195 | |
| parent | 64a9c047ac05a0199b3b3b06db6cb784e5352218 [diff] |
[142090] adding gui tags to css to make them bold in output
diff --git a/docs/org.eclipse.wst.doc.user/common.css b/docs/org.eclipse.wst.doc.user/common.css index 741d750..2f4f3f2 100644 --- a/docs/org.eclipse.wst.doc.user/common.css +++ b/docs/org.eclipse.wst.doc.user/common.css
@@ -978,6 +978,10 @@ font-weight: bold; } +span.uicontrol { + font-weight: bold; +} + span.term { font-weight: bold; }