From 5ed523f1494835a912fe59ed7e523c818d71414d Mon Sep 17 00:00:00 2001
From: Glease <4586901+Glease@users.noreply.github.com>
Date: Tue, 28 Feb 2023 11:29:00 +0800
Subject: [PATCH] because java 11 javadoc apparently defaults to frameless

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index b019ddb2..b0f6655d 100644
--- a/index.html
+++ b/index.html
@@ -120,7 +120,7 @@
 
         function set_version(version) {
             document.getElementById('current-select').value = version
-            document.getElementById('frame').src = 'https://gtnewhorizons.github.io/StructureLib/' + version + '/javadoc'
+            document.getElementById('frame').src = 'https://gtnewhorizons.github.io/StructureLib/' + version + '/javadoc/index.html?overview-summary.html'
             localStorage.setItem(lastUseKey, version)
         }