Add logo to website (#232)

* Add logo * Add back missing files
microsoft · Apr 4, 2024 · e72aab5 · e72aab5
1 parent 50a0d56
commit e72aab5
Show file tree

Hide file tree

Showing 9 changed files with 1 addition and 383 deletions.
diff --git a/website/docusaurus.config.js b/website/docusaurus.config.js
@@ -76,7 +76,7 @@ const config = {
         title: 'Garnet',
         logo: {
           alt: 'Garnet Logo',
-          src: 'img/garnet-logo.png',
+          src: 'img/garnet-logo-diamond.png',
         },
         items: [
           {

diff --git a/website/static/img/favicon.ico b/website/static/img/favicon.ico
diff --git a/website/static/img/garnet-logo-diamond.png b/website/static/img/garnet-logo-diamond.png
diff --git a/website/static/img/garnet-logo-inset.png b/website/static/img/garnet-logo-inset.png
diff --git a/website/static/img/garnet-logo.png b/website/static/img/garnet-logo.png
diff --git a/website/static/img/logo.svg b/website/static/img/logo.svg