From c4015b193f947fd11272536326aa83cab7a9ae7d Mon Sep 17 00:00:00 2001
From: "Anthony D. Blaom" <anthony.blaom@gmail.com>
Date: Tue, 25 Jun 2024 10:51:37 +1200
Subject: [PATCH] fix href prefixing - take II

---
 _libs/nav/head.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_libs/nav/head.js b/_libs/nav/head.js
index 3f7e2d58..52433332 100644
--- a/_libs/nav/head.js
+++ b/_libs/nav/head.js
@@ -434,7 +434,7 @@ function createNavItem(item) {
   // set style, link and text content of anchor
   link.textContent = item.name;
   link.classList.add("main-nav-item");
-  link.href = hosted
+  link.href = (hosted && !item.href.startsWith("https"))
     ? origin + "/DataScienceTutorials.jl" + item.href
     : item.href;
   link.id = item.id;