18995: add a generic font family for font awesome.
authorWard Vandewege <ward@curii.com>
Fri, 15 Apr 2022 18:51:14 +0000 (14:51 -0400)
committerWard Vandewege <ward@curii.com>
Fri, 15 Apr 2022 18:51:14 +0000 (14:51 -0400)
commit9cc5ed8fb634fa4f22f7bbaed8de0e5052c89f87
tree4749ea658ba322fa00b973ff7a46e99164820061
parentc57e836bfd5f984b4ce1eabf8002afeb26f9982a
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