Upgrade Font-Awesome in html-manager#2713

jasongrout merged 1 commit intojupyter-widgets:masterjupyter-widgets/ipywidgets:masterfrom

martinRenou:html_manager_font_awesome5.12martinRenou/ipywidgets:html_manager_font_awesome5.12Copy head branch name to clipboard