OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <title>Docs</title> | 4 <title>Docs</title> |
5 <meta charset="utf-8"> | 5 <meta charset="utf-8"> |
6 <meta name="theme-color" content="#526E9C"> | 6 <meta name="theme-color" content="#526E9C"> |
7 <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> | 7 <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> |
8 <meta name="viewport" content="width=device-width, initial-scale=1.0"> | 8 <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
9 <meta name="google-site-verification" content="pIHubYTE28EzwOWGWmHyNmxRNA6yc
lJyxSymw6uX8b8" /> | 9 <meta name="google-site-verification" content="pIHubYTE28EzwOWGWmHyNmxRNA6yc
lJyxSymw6uX8b8" /> |
10 <script src="/res/js/core.js"></script> | 10 <script src="/res/js/core.js"></script> |
(...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
80 // Preserve query parameters as we navigate. | 80 // Preserve query parameters as we navigate. |
81 var q = window.location.search; | 81 var q = window.location.search; |
82 var url = e.target.dataset.path; | 82 var url = e.target.dataset.path; |
83 if (q != "") { | 83 if (q != "") { |
84 url += q; | 84 url += q; |
85 } | 85 } |
86 sk.get('/_'+url).then(function(content) { | 86 sk.get('/_'+url).then(function(content) { |
87 window.history.pushState(null, null, url); | 87 window.history.pushState(null, null, url); |
88 highlightNav(); | 88 highlightNav(); |
89 $$$('html #content').innerHTML = content; | 89 $$$('html #content').innerHTML = content; |
| 90 $$$('html #page').scrollIntoView(); |
90 prettyPrint(); | 91 prettyPrint(); |
91 }); | 92 }); |
92 e.preventDefault(); | 93 e.preventDefault(); |
93 }); | 94 }); |
94 }); | 95 }); |
95 | 96 |
96 highlightNav(); | 97 highlightNav(); |
97 }); | 98 }); |
98 </script> | 99 </script> |
99 </body> | 100 </body> |
100 </html> | 101 </html> |
OLD | NEW |