Merge branch 'master' of github.com:opengamedata/opengamedata-website

opengamedata · May 23, 2024 · 3e5b723 · 3e5b723
2 parents b8300ea + f04124a
commit 3e5b723
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/site/includes/header.php b/site/includes/header.php
@@ -31,6 +31,7 @@ function gtag(){dataLayer.push(arguments);}
                     <a class="navbar-brand" href="index.php"><img class="logo" src="assets/images/logos/OpenGameData-logo.png" alt="Open Game Data"></a>
                 </div>
                 <ul class="navbar-nav flex-fill flex-row justify-content-end align-items-center">
+                    <li class="nav-item"><a href="https://opengamedata-doc.readthedocs.io/en/latest" class="btn btn-header mx-3">Technical Documentation</a></li>
                     <li class="nav-item"><a href="about.php" class="btn btn-header mx-3">About Us</a></li>
                     <li class="nav-item"><a href="getinvolved.php" class="btn btn-header-dark">Get Involved</a></li>
                 </ul>