From 9cc5ed8fb634fa4f22f7bbaed8de0e5052c89f87 Mon Sep 17 00:00:00 2001
From: Ward Vandewege <ward@curii.com>
Date: Fri, 15 Apr 2022 14:51:14 -0400
Subject: [PATCH] 18995: add a generic font family for font awesome.

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>
---
 doc/css/font-awesome.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.30.2