<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" />
<script type="text/javascript">
- if (navigator.userAgent.match(/Mac/)) {
- var e = document.getElementsByTagName('body')[0];
- e.className += ' mac';
- }
-
- var tree = document.getElementById('tree'),
- anchors = document.getElementsByTagName('a'),
- name = '/' + document.location.pathname.split('/')[1] + '/',
- offset;
+ // I'll go to hell for this
+ var isA = function(regex) { return navigator.userAgent.match(regex) };
+ var isAbout = function(regex) { return document.getElementsByTagName('h1')[1].textContent.match(regex) };
- 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;
+ if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
+ var e = document.getElementsByTagName('body')[0];
+ e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.
}
</script>