Fixed some issues with the theme

This commit is contained in:
2020-11-22 14:12:23 +01:00
parent 7d9b1bb873
commit ee40bdf989
9 changed files with 121 additions and 49 deletions

View File

@@ -68,6 +68,11 @@
],
tags: 'ams',
processRefs: true,
},
chtml: {
scale: 1,
minScale: .5,
matchFontHeight: true,
}
};
</script>

View File

@@ -13,17 +13,49 @@ layout: default
{{ content }}
<script type="text/javascript">
$(document).ready(function() {
$(document).ready(function() {/*
var tpl =
"<li class='nav-item'>\
<a class='nav-link bg-white mb-1' href='#header[idx]'>[name]</a>\
</li>"
<a class='nav-link bg-white mb-1' href='#[idx]'>[name]</a>\
</li>";
$("h2").each(function(idx, h2) {
$(h2).attr("id", "header" + idx)
var name = $(h2).text().trim()
var dom_string = tpl.replace("[name]", name).replace("[idx]", idx)
var header = $(dom_string)
$(".header-list").append(header)
var id = h2.id;
var name = h2.textContent;
var header = tpl.replace("[name]", name).replace("[idx]", id);
$(".header-list").append(header);
})*/
var level = -1;
var headers = new Array();
var tplDrop =
"<li class='nav-item dropdown mb-1'>\
<a class='dropdown-toggle nav-link' data-toggle='dropdown' href='#'>[menuItem]\
<span class='caret'></span></a>\
<ul class='dropdown-menu subHeader[MenuId]'></ul>\
</li>";
var tplSub = "<li><a class='nav-link mb-1' href='#[idx]'>[name]</a></li>";
$("h2, h3").each(function(idx, h2) {
if (h2.tagName == "H2") {
level += 1;
var name = h2.textContent;
var id = h2.id;
headers.push(new Array());
var header = tplDrop.replace("[menuItem]",name).replace("[MenuId]", level);
$(".header-list").append(header);
}
else {
var name = h2.textContent;
var id = h2.id;
var header = tplSub.replace("[idx]", id).replace("[name]",name);
var subLevel = ".subHeader" + level;
$(subLevel).append(header);
headers[level].push(h2);
}
})
})
</script>

View File

@@ -0,0 +1,29 @@
---
layout: default
---
<h1 class="border border-top-0 border-right-0 border-left-0 mb-3 pb-2">
{{ page.title }}
</h1>
<div class="d-md-block d-lg-none">
{% include components/lecture-meta.html %}
</div>
{{ content }}
<script type="text/javascript">
$(document).ready(function() {
var tpl =
"<li class='nav-item'>\
<a class='nav-link bg-white mb-1' href='#[idx]'>[name]</a>\
</li>"
$("h2").each(function(idx, h2) {
var id = $(h2).attr("id");
var name = $(h2).text().trim();
var dom_string = tpl.replace("[name]", name).replace("[idx]", id);
var header = $(dom_string);
$(".header-list").append(header);
})
})
</script>