Added navbar and removed insert_navbar.sh

JuliaGaussianProcesses · Dec 22, 2024 · 123c592 · 123c592
1 parent f5a40b3
commit 123c592
Show file tree

Hide file tree

Showing 436 changed files with 1,308 additions and 1,308 deletions.
diff --git a/dev/api/index.html b/dev/api/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/create_kernel/index.html b/dev/create_kernel/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/design/index.html b/dev/design/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/gaussian-process-priors/index.html b/dev/examples/gaussian-process-priors/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/kernel-ridge-regression/index.html b/dev/examples/kernel-ridge-regression/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/support-vector-machine/index.html b/dev/examples/support-vector-machine/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/examples/train-kernel-parameters/index.html b/dev/examples/train-kernel-parameters/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/index.html b/dev/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/kernels/index.html b/dev/kernels/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/metrics/index.html b/dev/metrics/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/search/index.html b/dev/search/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/transform/index.html b/dev/transform/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/dev/userguide/index.html b/dev/userguide/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");

diff --git a/previews/PR424/api/index.html b/previews/PR424/api/index.html
@@ -254,7 +254,7 @@
 </style>
 <nav class="ext-navigation">
     <a href="https://github.com/JuliaGaussianProcesses">
-        <img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
+        <img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
     </a>
     <a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
     <ul class="ext-nav-links">
@@ -377,7 +377,7 @@
             </g>
         </svg>
     </a> -->
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");