Deployed a5243f4 to dev with MkDocs 1.5.3 and mike 2.0.0

semgr8ns · Feb 1, 2024 · 737ab5f · 737ab5f
1 parent 8433dc1
commit 737ab5f
Show file tree

Hide file tree

Showing 12 changed files with 135 additions and 77 deletions.
diff --git a/dev/404.html b/dev/404.html
@@ -13,7 +13,7 @@
 
 
 
-      <link rel="icon" href="/semgr8s/dev/assets/logo.png">
+      <link rel="icon" href="/semgr8s/dev/assets/semgr8s-logo-single.png">
       <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.4.14">
 
 
@@ -86,7 +86,7 @@
   <nav class="md-header__inner md-grid" aria-label="Header">
     <a href="/semgr8s/dev/." title="semgr8s - Semgrep-based Policy Controller for Kubernetes." class="md-header__button md-logo" aria-label="semgr8s - Semgrep-based Policy Controller for Kubernetes." data-md-component="logo">
 
-  <img src="/semgr8s/dev/assets/logo.png" alt="logo">
+  <img src="/semgr8s/dev/assets/semgr8s-logo-single.png" alt="logo">
 
     </a>
     <label class="md-header__button md-icon" for="__drawer">
@@ -191,7 +191,7 @@
   <label class="md-nav__title" for="__drawer">
     <a href="/semgr8s/dev/." title="semgr8s - Semgrep-based Policy Controller for Kubernetes." class="md-nav__button md-logo" aria-label="semgr8s - Semgrep-based Policy Controller for Kubernetes." data-md-component="logo">
 
-  <img src="/semgr8s/dev/assets/logo.png" alt="logo">
+  <img src="/semgr8s/dev/assets/semgr8s-logo-single.png" alt="logo">
 
     </a>
     semgr8s - Semgrep-based Policy Controller for Kubernetes.
@@ -222,7 +222,7 @@
 
 
   <span class="md-ellipsis">
-    Documentation
+    intro
   </span>
 
 

diff --git a/dev/assets/semgr8s-logo-full-dark.svg b/dev/assets/semgr8s-logo-full-dark.svg
diff --git a/dev/assets/semgr8s-logo-full-light.svg b/dev/assets/semgr8s-logo-full-light.svg
diff --git a/dev/assets/semgr8s-logo-single.png b/dev/assets/semgr8s-logo-single.png