Skip to content

Commit 801deea

Browse files
committed
foot.html: hide comment from final generated HTML, looks weird out of context post-conditional
1 parent 59344f2 commit 801deea

File tree

1 file changed

+10
-11
lines changed

1 file changed

+10
-11
lines changed

templates/inlined-foot-template.html

+10-11
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<link rel="stylesheet" type="text/css" href="/static/css/default.css" />
44
<link rel="stylesheet" type="text/css" href="/static/css/links.css" />
55

6-
<!-- JS library for spawning popups -->
6+
<!-- JS library for spawning popups -->
77
<script src="/static/js/popups.js" defer></script>
88
<script src="/static/js/popins.js" defer></script>
99
<!-- JS library for annotating hyperlinks with introduction/summary from various sources; not lazy-loaded as (almost) all pages have popups -->
@@ -13,23 +13,22 @@
1313
<script src="/static/js/extracts-content.js" defer></script>
1414
<script src="/static/js/extracts-options.js" defer></script>
1515

16-
<!-- Stuff we don’t need on /index gets conditionally loaded: -->
17-
$if(index)$ $else$
16+
$if(index)$ <!-- Stuff we don’t need on /index gets conditionally loaded: --> $else$
1817

1918
<!-- JS library for clickable/zoomable images, for images larger than can be displayed in -->
2019
<!-- the body: http://share.obormot.net/misc/gwern/image-focus.js http://share.obormot.net/misc/gwern/image-focus.css -->
2120
<!-- not lazy-loaded due to various bugs -->
2221
<script src="/static/js/image-focus.js" defer></script>
2322

2423
<!-- sort tables: http://tablesorter.com/docs/ ; requires JQuery, which has been prepended to avoid multiple JS page loads & race conditions -->
25-
<script>
26-
if (document.querySelector("table")) {
27-
var js = document.createElement("script");
28-
js.type = "text/javascript";
29-
js.src = "/static/js/tablesorter.js";
30-
document.body.appendChild(js);
31-
}
32-
</script>
24+
<script>
25+
if (document.querySelector("table")) {
26+
var js = document.createElement("script");
27+
js.type = "text/javascript";
28+
js.src = "/static/js/tablesorter.js";
29+
document.body.appendChild(js);
30+
}
31+
</script>
3332

3433
$endif$
3534

0 commit comments

Comments
 (0)