[website] italicise extra info about issue types

Summary: This makes this information less distracting. Reviewed By: martintrojer Differential Revision: D58289690 Privacy Context Container: L1258973 fbshipit-source-id: 4cca4744619e06df5221642c722f82736500543e
facebook · Jun 10, 2024 · dee423e · dee423e
1 parent 31b8a11
commit dee423e
Show file tree

Hide file tree

Showing 2 changed files with 172 additions and 172 deletions.
diff --git a/infer/src/integration/Help.ml b/infer/src/integration/Help.ml
@@ -69,7 +69,7 @@ let markdown_one_issue f (issue_type : IssueType.t) =
           (IssueType.string_of_category category)
           (abs_url_of_category category)
   in
-  F.fprintf f "%aReported as \"%s\" by [%s](/%s/next/%s).@\n@\n" pp_category_link
+  F.fprintf f "*%aReported as \"%s\" by [%s](/%s/next/%s).*@\n@\n" pp_category_link
     issue_type.category issue_type.hum checker_config.id docs_dir
     (basename_of_checker checker_config) ;
   match issue_type.user_documentation with