From: Ward Vandewege <ward@curii.com>
Date: Fri, 15 Apr 2022 18:51:14 +0000 (-0400)
Subject: 18995: add a generic font family for font awesome.
X-Git-Tag: 2.5.0~201^2~1
X-Git-Url: https://git.arvados.org/arvados.git/commitdiff_plain/9cc5ed8fb634fa4f22f7bbaed8de0e5052c89f87

18995: add a generic font family for font awesome.

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>
---

diff --git a/doc/css/font-awesome.css b/doc/css/font-awesome.css
index eb4127b738..4dc117e6bc 100644
--- a/doc/css/font-awesome.css
+++ b/doc/css/font-awesome.css
@@ -13,7 +13,7 @@
 }
 .fa {
   display: inline-block;
-  font-family: FontAwesome;
+  font-family: 'FontAwesome', sans-serif;
   font-style: normal;
   font-weight: normal;
   line-height: 1;