{#
    Override alabaster/layout.html template to add a header
    with the Semmle logo.
    This header (including the SVG logo) is copied from the Semmle 
    documentation home page at help.semmle.com.

    It also adds some JavaScript (in the footer) to allow collapsible sections.

    The source for the default Alabaster stylesheet can be found at:
    https://github.com/bitprophet/alabaster/blob/master/alabaster/layout.html
#}

{%- extends "alabaster/layout.html" %}

{%- block extrahead %}
  <!-- Google Tag Manager -->
  <script>(function(w,d,s,l,i) {w[l]=w[l]||[];w[l].push({'gtm.start':new Date().getTime(),event:'gtm.js'});var  f=d.getElementsByTagName(s)[0],j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true; j.src='https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);}) (window,document,'script','dataLayer','GTM-5Q9DBRM');</script>
  <!-- End Google Tag Manager -->
  {{ super() }}
  <link rel="stylesheet" href="{{ pathto('_static/custom.css_t', 1) }}" type="text/css" />
  {% if theme_touch_icon %}
    <link rel="apple-touch-icon" href="{{ pathto('_static/' ~ theme_touch_icon, 1) }}" />
  {% endif %}
  {% if theme_canonical_url %}
    <link rel="canonical" href="{{ theme_canonical_url }}{{ pagename }}.html"/>
  {% endif %}
  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
{% endblock %}

{%- block content %}
<!-- Google Tag Manager (noscript) -->
<noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5Q9DBRM" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
<!-- End Google Tag Manager (noscript) -->
<div id="siteBanner">
        <div class="textContainer">
            <div class="logocontainer">
            <a href="https://semmle.com/" id="Header-logo" class="">
                <svg class="Header-logo-white" width="98" height="20" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
                    <defs>
                        <path id="a" d="M0 .149h12.872v18.814H0z"></path>
                        <path id="c" d="M0 19.2h97.917V.124H0z"></path>
                    </defs>
                    <g fill="none" fill-rule="evenodd" >
                        <path d="M97.33 0l-1.963 3.543h-.213L93.19 0h-.67v5h.761V1.971h.183l1.492 2.672h.609L97.04 1.97h.198V5H98V0h-.67zM88 0v.686h1.491V5h.761V.686h1.492V0H88z" fill="#FFF"></path>
                        <g>
                            <g transform="translate(0 .237)">
                                <mask id="b" fill="#fff">
                                    <use xlink:href="#a"></use>
                                </mask>
                                <path d="M6.762 18.963C2.768 18.963 0 16.317 0 12.85h3.394c.313 2.303 2.193 2.832 3.342 2.832.888 0 2.663-.318 2.663-2.038 0-1.56-1.488-2.196-2.976-2.778-2.455-.98-5.927-2.17-5.927-5.69C.496 2.055 3.185.15 6.449.15c3.786 0 5.9 2.567 5.9 4.922H9.009C8.825 4.04 7.702 3.377 6.397 3.377c-1.254 0-2.298.635-2.298 1.8 0 1.138 1.018 1.587 2.794 2.408 1.906.873 5.979 1.905 5.979 6.086 0 3.466-2.794 5.292-6.11 5.292" fill="#FFF" mask="url(#b)"></path>
                            </g>
                            <path d="M17.57 10.785h5.875c-.392-1.561-1.462-2.196-2.768-2.196-1.436 0-2.585.82-3.107 2.196m9.321 2.673h-9.53c.392 2.011 2.01 2.752 3.42 2.752 1.776 0 2.533-1.112 2.533-1.112h3.29c-.992 2.646-3.368 4.102-5.927 4.102-3.525 0-6.605-2.726-6.605-6.854 0-4.1 3.054-6.641 6.5-6.641 3.343 0 6.737 2.355 6.32 7.753M47.963 11.897v7.17H44.49v-6.376c0-1.826.183-4.128-2.219-3.917-.627.053-2.35.344-2.35 4.075v6.219h-3.447V12.69c0-1.826.184-4.128-2.219-3.917-.627.053-2.35.344-2.35 4.075v6.219H28.46V5.838h2.663l.392 1.428h.418c.496-.661 1.54-1.535 3.159-1.561 1.462-.027 2.715.661 3.577 1.825h.392c.652-.82 1.853-1.825 3.968-1.852 3.395-.026 4.935 2.54 4.935 6.219M68.952 11.897v7.17h-3.473v-6.376c0-1.826.183-4.128-2.219-3.917-.627.053-2.35.344-2.35 4.075v6.219h-3.446V12.69c0-1.826.182-4.128-2.22-3.917-.626.053-2.35.344-2.35 4.075v6.219h-3.446V5.838h2.663l.392 1.428h.418c.496-.661 1.54-1.535 3.159-1.561 1.462-.027 2.715.661 3.577 1.825h.392c.652-.82 1.854-1.825 3.968-1.852 3.395-.026 4.935 2.54 4.935 6.219" fill="#FFF"></path>
                            <mask id="d" fill="#fff">
                                <use xlink:href="#c"></use>
                            </mask>
                            <path fill="#FFF" mask="url(#d)" d="M70.26 19.067h3.393V.28H70.26zM78.456 10.785h5.874C83.94 9.224 82.87 8.59 81.563 8.59c-1.436 0-2.585.82-3.107 2.196m9.321 2.673h-9.53c.392 2.011 2.01 2.752 3.42 2.752 1.776 0 2.533-1.112 2.533-1.112h3.29c-.993 2.646-3.368 4.102-5.927 4.102-3.525 0-6.606-2.726-6.606-6.854 0-4.1 3.055-6.641 6.502-6.641 3.342 0 6.736 2.355 6.318 7.753"></path>
                        </g>
                    </g>
                </svg>
            </a>
            </div>
            <div class="linkcontainer">
                <div class="linkbar">
                    <a href="https://help.semmle.com/QL/learn-ql/" target="_blank">Learn CodeQL</a>
                    <a href="https://help.semmle.com/QL/learn-ql/ql-training.html" target="_blank">Variant analysis</a>
                    <a href="https://help.semmle.com/QL/ql-tools.html" target="_blank">Tools</a>
                    <a href="https://help.semmle.com/QL/ql-explore-queries.html" target="_blank">Queries</a>
                    <a href="https://help.semmle.com/QL/ql-reference-topics.html" target="_blank">Reference</a>
                    <a href="https://blog.semmle.com" target="_blank">Blog</a>
                    <a href="https://help.semmle.com" target="_blank">help.semmle.com</a>
                </div>
                <div class="small-bar">
                    <a href="https://help.semmle.com" target="_blank">help.semmle.com</a>
                </div>
            </div>
            
        </div> 
    </div>  
<div class="wrapper">
    
    <div class="navBox" >
         <p>Start writing queries in the <a href="https://lgtm.com/query">Query console</a> on <a href="https://lgtm.com">LGTM.com</a>.</p>
             
         <div id="searchbox" style="display: none" role="search">
                <h3>Quick search</h3>
                    <form class="search" action="{{ pathto('search') }}" method="get">
                        <div><input type="text" name="q" /></div>
                        <div><input type="submit" value="Go" /></div>
                        <input type="hidden" name="check_keywords" value="yes" />
                        <input type="hidden" name="area" value="default" />
                    </form>
            </div>
            <script type="text/javascript">$('#searchbox').show(0);</script>
            <div class="clearer"></div>
            
        
            <h3><a href="{{ pathto(master_doc) }}">{{ project }}</a></h3>  
            <h4>Contents</h4>  
                {{ toctree(includehidden=true, maxdepth=3, collapse=true) }}
       
    </div>
    <div class="mainBox">
        {{super()}}
    </div>
    <div class="privacy">
            <a target="_blank" href="https://semmle.com/privacy-policy" alt="Privacy policy and tracking preferences" title="Privacy policy and tracking preferences">Privacy policy</a>
    </div>
    
</div>

{% endblock %}

{% block footer %}
 <script type="text/javascript">
    $(document).ready(function() {
        $(".toggle > *").hide();
        $(".toggle .name").show();
        $(".toggle .name").click(function() {
            $(this).parent().children().not(".name").toggle(400);
            $(this).parent().children(".name").toggleClass("open");
        })
    });
</script>
{% endblock %}

    


