);}
    gtag('js', new Date());

    gtag('config', 'UA-120448221-1');
  </script>

  <script type="text/javascript">
    window.onload = function() {
      Array.prototype.slice.call(document.querySelectorAll("a")).forEach(function(a) {
        if (a.getAttribute('href').startsWith("http")) {
          a.target = "_blank";
        }
      });


      Array.prototype.slice.call(document.querySelectorAll("iframe.deps")).forEach(function(iframe) {
        // Add CSS to all deps iframes
        css = 'a { curs