<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" />
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">