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 eb4127b738392c335f4352a09bb9033c1bc489dc..4dc117e6bca08f242eeb831335f74bec3c6fe85f 100644 (file)
--- 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;