platformio-core/docs/_templates/footer.html

{% extends "!footer.html" %}

{% block extrafooter %}
<link rel="stylesheet" href="{{ pathto('_static/extra.css', 1) }}" type="text/css" />
<header id="pionav" class="navbar navbar-inverse navbar-fixed-top">
  <div class="container container-fluid">
    <div class="navbar-header">
      <a class="navbar-brand" href="http://platformio.org/"></i> PlatformIO</a>
    </div>

    <nav role="navigation">
      <div>
        <ul class="nav navbar-nav">
          <li><a href="http://platformio.org/#!/get-started"><i class="fa fa-rocket fa-lg"></i>Get Started</a></li>
          <li><a href="http://platformio.org/#!/platformio-ide"><i class="fa fa-cube fa-lg"></i>IDE</a></li>
          <li><a href="http://platformio.org/#!/platforms"><i class="fa fa-wrench fa-lg"></i>Development</a></li>
          <li ><a href="http://platformio.org/#!/lib"><i class="fa fa-code fa-lg"></i>Libraries</a></li>
          <li class="active"><a href="http://docs.platformio.org/"><i class="fa fa-book fa-lg"></i>Docs</a></li>
        </ul>

        <ul class="nav navbar-nav navbar-right">
          <li><a href="http://platformio.org/#!/donate"><i class="fa fa-heart-o fa-lg"></i>Donate</a></li>
          <li><a href="http://platformio.org/#!/contact"><i class="fa fa-envelope fa-lg"></i>Contact</a></li>
        </ul>
      </div>

    </nav>
  </div>
</header>
<script>
(function() {
  var runMyCode = function($) {
    $(window).ready(function() {
        if ($('#pionav').css('display') !== 'block') {
            return;
        }
        function fixScroll() {
            $(window).scrollTop($(window).scrollTop() - 50);
        }
        window.setTimeout(fixScroll, 50);
        $(window).on('hashchange', function(e){fixScroll();});
    });
  };

  var timer = function() {
    if (window.jQuery) {
      runMyCode(window.jQuery);
    } else {
      window.setTimeout(timer, 50);
    }
  };
  timer();
})();
</script>
{{ super() }}
{% endblock %}