[doc] Fix github logo

2023-03-16 11:24:09 +01:00
parent a186c122a1
commit e5b14532ef
1 changed files with 1 additions and 1 deletions
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@ -13,7 +13,7 @@
                href="https://github.com/{{site.github_editme_path}}{{editmepath}}"
                class="float-right"
                role="button"
-                ><i class="fa fa-github fa-lg"></i> Edit on GitHub</a
+                ><i class="fab fa-github fa-lg"></i> Edit on GitHub</a
            >
            {% endunless %} {% endif %}
        </div>