blob: d55fb4dfa2a948e877884b7bc5c8d6a5efbcd56d (
plain) (
blame)
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
|
<html>
<head>
<title>Dotty - {{ page.title }}</title>
<link rel="shortcut icon" type="image/png" href="/images/favicon.png"/>
<link rel="stylesheet" href="http://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.7.0/styles/github.min.css">
<link rel="stylesheet" href="/css/main.css">
</head>
<body>
<div id="container">
<div id="scala-logo-mobile">
{% include scala-logo.html %}
</div>
<div id="content">
{{ content }}
</div>
<div id="toc">
{% include toc.html %}
</div>
</div>
</body>
<script src="/js/highlight.pack.js"></script>
<script language="javascript">
hljs.initHighlightingOnLoad();
var x = document.links.length;
for (i = 0; i < x; i++) {
var thisHREF = document.links[i].href;
if (thisHREF.indexOf(window.location.hostname) > -1) thisHREF = thisHREF.replace(".md","/").replace("/index/","/");
document.links[i].setAttribute('href', thisHREF);
}
</script>
</html>
|
