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