Update index.html

Add navigation
martius-lab · Dec 21, 2023 · 7279f1d · 7279f1d
1 parent 56e5940
commit 7279f1d
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -49,7 +49,30 @@
 </head>
 <body>
 
+<nav class="navbar" role="navigation" aria-label="main navigation">
+  <div class="navbar-brand">
+    <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false">
+      <span aria-hidden="true"></span>
+      <span aria-hidden="true"></span>
+      <span aria-hidden="true"></span>
+    </a>
+  </div>
+  <div class="navbar-menu">
+
+      <div class="navbar-item has-dropdown is-hoverable">
+        <a class="navbar-link">
+          More Research
+        </a>
+        <div class="navbar-dropdown">
+          <a class="navbar-item" href="https://dinosaur-paper.github.io">
+            DINOSAUR
+          </a>
+        </div>
+      </div>
+    </div>
 
+  </div>
+</nav>
   <section class="hero">
     <div class="hero-body">
       <div class="container is-max-desktop">