});
});
+/*
+ * Initialize google analytics
+ */
+var _gaq = _gaq || [];
+_gaq.push(['_setAccount', 'UA-1345454-1']);
+_gaq.push(['_trackPageview']);
+(function() {
+ var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+ ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+ var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+})();
+
+/*
+ * Fix scrolling of anchor links
+ */
+var shiftWindow = function() { scrollBy(0, -80) };
+if (location.hash) shiftWindow();
+window.addEventListener("hashchange", shiftWindow);
+
/*
* Debian/Ubuntu download dropdowns
<script src="/media/js/bootstrap.min.js?{{gitrev}}"></script>
<script src="/media/js/main.js?{{gitrev}}"></script>
{%block extrascript%}{%endblock%}
- <script type="text/javascript">
- var _gaq = _gaq || [];
- _gaq.push(['_setAccount', 'UA-1345454-1']);
- _gaq.push(['_trackPageview']);
- (function() {
- var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
- ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
- var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
- })();
- </script>
- <script type="text/javascript">
- var shiftWindow = function() { scrollBy(0, -80) };
- if (location.hash) shiftWindow();
- window.addEventListener("hashchange", shiftWindow);
- </script>
</body>
</html>
<script src="/media/js/popper.min.js?{{gitrev}}"></script>
<script src="/media/js/bootstrap.min.js?{{gitrev}}"></script>
<script src="/media/js/main.js?{{gitrev}}"></script>
- <script type="text/javascript">
- var _gaq = _gaq || [];
- _gaq.push(['_setAccount', 'UA-1345454-1']);
- _gaq.push(['_trackPageview']);
- (function() {
- var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
- ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
- var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
- })();
- </script>
- <script type="text/javascript">
- var shiftWindow = function() { scrollBy(0, -80) };
- if (location.hash) shiftWindow();
- window.addEventListener("hashchange", shiftWindow);
- </script>
</body>
</html>