Add new logo and favicon

restatedev · Jul 20, 2023 · 43e623f · 43e623f
1 parent a81257d
commit 43e623f
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 10 deletions.
diff --git a/docusaurus.config.js b/docusaurus.config.js
@@ -22,7 +22,7 @@ const redocusaurus = [
 const config = {
   title: 'Restate documentation',
   tagline: 'Distributed application development made simple',
-  favicon: 'img/favicon.ico',
+  favicon: 'img/logo_only.png',
 
   // Set the production url of your site here
   url: 'https://restate.dev',

diff --git a/src/css/custom.css b/src/css/custom.css
@@ -14,7 +14,7 @@
   --ifm-color-primary-lighter: #7673a5;
   --ifm-color-primary-lightest: #a3a2c3;
   --ifm-code-font-size: 95%;
-  --ifm-link-color: #363CFF;
+  --ifm-link-color: #3065b3;
   --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.1);
 }
 
@@ -30,14 +30,6 @@
   --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.3);
 }
 
-
-/* Make the Restate logo in the upper-left corner less big */
-img.themedImage_node_modules-\@docusaurus-theme-classic-lib-theme-ThemedImage-styles-module.themedImage--light_node_modules-\@docusaurus-theme-classic-lib-theme-ThemedImage-styles-module {
-  width: 60%;
-  height: auto;
-  vertical-align: middle;
-}
-
 .bad-code-block {
   background-color: #ff000020;
   display: block;

diff --git a/static/img/logo_only.png b/static/img/logo_only.png
diff --git a/static/img/restate.png b/static/img/restate.png