-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtemplate.html
112 lines (92 loc) · 3.14 KB
/
template.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>$pagetitle$</title>
<!-- Bootstrap core CSS -->
<link href="css/bootstrap.min.css" rel="stylesheet">
$for(css)$
<link rel="stylesheet" href="$css$" $if(html5)$$else$type="text/css" $endif$ />
$endfor$
$if(math)$
<script>
window.MathJax = {
startup: {
ready: () => {
MathJax.startup.defaultReady();
MathJax.startup.promise.then(() => {
document.getElementById("spinner").style.display = "none";
document.getElementById("hidden_contents").style.display = "";
});
}
}
};
</script>
$math$
$endif$
</head>
<body>
$for(include-before)$
$include-before$
$endfor$
<!-- Bootstrap Navbar -->
<nav class="navbar navbar-expand-lg navbar-light fixed-top">
<div class="container-fluid">
<a class="navbar-brand" href="#">$pagetitle$</a>
<button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarContent" aria-controls="navbarContent" aria-expanded="false" aria-label="Toggle navigation">
<span class="navbar-toggler-icon"></span>
</button>
<div class="collapse navbar-collapse" id="navbarContent">
<ul class="navbar-nav mr-auto" id="dynamic-toc">
<!-- Python script will populate this -->
</ul>
</div>
</div>
</nav>
<!-- end of Navbar -->
<div class="container-fluid">
<div class="row flex-nowrap">
<div class="col-lg-7 mx-auto p-4">
<div class="naslov">
<h1>$pagetitle$</h1>
<strong> Urban Jezernik <br>
Univerza v Ljubljani, Fakulteta za matematiko in fiziko </strong> <br>
Zadnja posodobitev: $date$
</div>
<div id="spinner" class="text-center">
<div class="spinner-border" style="width: 3rem; height: 3rem;" role="status"></div>
</div>
<div id="hidden_contents" style="display:none">
<div class="kazalo">
<h3>Kazalo</h3>
$toc$
</div>
$body$
</div>
</div>
</div>
</div>
<!-- Bootstrap core JavaScript -->
<script src="js/jquery.min.js"></script>
<script src="js/bootstrap.min.js"></script>
<script>
var tables = document.getElementsByTagName("table");
for (var i = 0; i < tables.length; ++i) {
tables[i].className += "table table-striped";
old_html = tables[i].outerHTML;
new_html = "<div class='table-responsive'>" + old_html + "</div>";
tables[i].outerHTML = new_html;
}
</script>
<script>
var proofClasses = document.getElementsByClassName("proof");
for (var i = 0; i < proofClasses.length; i++) {
var html = proofClasses[i].innerHTML;
html = html.replace(/Proof./g, "Dokaz.");
proofClasses[i].innerHTML = html;
}
</script>
</body>
</html>