=device-width, initial-scale=1.0" />
    {{ stylesheets }} {% if page.extrajs %}
    <script src="{{page.extrajs}}" type="text/javascript"></script>
    {% endif %} {% include ga.html %}
  </head>
  <body>
    <nav class="menu">
      <div class="wrapper">
        <a id="tocToggle" href="#">
          <svg
            width="25px"
            height="16px"
            viewBox="0 0 25 16"
            version="1.1"
            xmlns="http://www.w3.org/2000/svg"
          >
            <line x1="0" y1="2" x2="