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