rl }}/js/jquery-3.2.1.min.js"></script>
    <script src="{{ base_url }}/js/bootstrap-3.3.7.min.js"></script>
    <script src="{{ base_url }}/js/highlight.pack.js"></script>
    {% if is_top %}
      <script src="{{ base_url }}/js/elasticlunr.min.js"></script>
    {% endif %}
    <base target="_top">
  {%- endblock %}

  {%- block scripts %}
    <script>
      var base_url = '{{ base_url }}';
      var is_top_frame = {% if is_top %}(window === window.parent){% else %}false{% endif %};
      {%- if page %}
  