<head>
<title>{{page.page_title}}</title>
+ <meta http-equiv="Content-type" content="text/html; charset=UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<link href="{{page.bootstrap_path}}/css/bootstrap.min.css" rel="stylesheet" />
</div>
<script type="text/javascript">
+ //<![CDATA[
// I'll go to hell for this
var isA = function(regex) { return navigator.userAgent.match(regex) };
var e = document.getElementsByTagName('body')[0];
e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.
}
-
- var tree = document.getElementById('tree'),
- anchors = document.getElementsByTagName('a'),
- name = '/' + document.location.pathname.split('/')[1] + '/',
- offset;
-
- for (var i = 0; i < anchors.length; i++) {
- if (anchors[i].getAttribute('name') === name) {
- offset = anchors[i].offsetTop;
- break;
- }
- }
-
- if (tree && offset) {
- tree.scrollTop = offset - 10;
- }
-
+ //]]>
</script>
<script type="text/javascript">