From 496eccd1922c89fbc7e69e3a7e6e573ec85536ac Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <reinier@zwitserloot.com>
Date: Tue, 16 May 2017 00:24:39 +0200
Subject: Styling and layout of all-versions, download, and changelog
 fixed/updated.

---
 website/resources/js/main.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'website/resources/js')

diff --git a/website/resources/js/main.js b/website/resources/js/main.js
index 4ac490d3..146dd554 100644
--- a/website/resources/js/main.js
+++ b/website/resources/js/main.js
@@ -37,6 +37,7 @@
 			var u = hs.data.urlPath;
 			if (u === "/" || u === "") u = "/main.html";
 			if (u.substring(u.length - 5) !== ".html") u += ".html";
+			if (u.substring(u.length - 8) === "all.html") u = u.substring(0, u.length - 8) + "index.html";
 			var key = toKey(u);
 			var sc = $("#" + key);
 			if (sc.length > 0) {
@@ -61,4 +62,4 @@
 	}
 
 	$(ajaxFeaturePages);
-})($);
\ No newline at end of file
+})($);
-- 
cgit