Skip to content

Commit cc8b485

Browse files
github-actions[bot]github-actions[bot]
committed
Added navbar and removed insert_navbar.sh
1 parent 123c592 commit cc8b485

File tree

436 files changed

+1308
-1308
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

436 files changed

+1308
-1308
lines changed

‎dev/api/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/create_kernel/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/design/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/examples/gaussian-process-priors/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/examples/kernel-ridge-regression/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/examples/support-vector-machine/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/examples/train-kernel-parameters/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/kernels/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

‎dev/metrics/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@
254254
</style>
255255
<nav class="ext-navigation">
256256
<a href="https://github.com/JuliaGaussianProcesses">
257-
<img src="https://avatars.githubusercontent.com/u/57909728?s=200<body>v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
257+
<img src="https://avatars.githubusercontent.com/u/57909728?s=200&v=4" alt="JuliaGP Logo" class="ext-navbar-logo" height="24px" width="40px">
258258
</a>
259259
<a style="color: white !important; font-size: 21.25px !important; margin-left: 10px;" href="https://github.com/JuliaGaussianProcesses">JuliaGP</a>
260260
<ul class="ext-nav-links">
@@ -377,7 +377,7 @@
377377
</g>
378378
</svg>
379379
</a> -->
380-
<span class="ext-menu-toggle"><body>#9776;</span>
380+
<span class="ext-menu-toggle">&#9776;</span>
381381
</nav>
382382
<script>
383383
document.addEventListener("DOMContentLoaded", function () {
@@ -415,7 +415,7 @@
415415
// Close menus if clicked outside
416416
document.addEventListener("click", (event) => {
417417
if (
418-
!navLinks.contains(event.target) <body><body>
418+
!navLinks.contains(event.target) &&
419419
!menuToggle.contains(event.target)
420420
) {
421421
navLinks.classList.remove("show");

0 commit comments

Comments
 (0)