bump to gtd 0.7.0

Gemfile

@@ -3,7 +3,7 @@ source 'https://rubygems.org'
 gem "jekyll", "~> 4.3.2" # installed by `gem jekyll`
 gem "webrick"          # required when using Ruby >= 3
 
-gem "just-the-docs", "0.6.2"
+gem "just-the-docs", "0.7.0"
 gem "jekyll-relative-links"
 gem "jekyll-sitemap"
 gem "jekyll-seo-tag"

_includes/head.html

@@ -4,7 +4,7 @@
 site.search_enabled, site.static_files, site.favicon_ico.
 Results in: HTML for the head element.
 Includes:
-head_nav.html, head_custom.html.
+  css/activation.scss.liquid, head_custom.html.
 Overwrites:
 ga_tracking_ids, ga_property, file, favicon.
 Should not be cached, because included files depend on page.
@@ -20,14 +20,18 @@
   <link rel="stylesheet" href="{{ '/assets/css/just-the-docs-dark.css' | relative_url }}"
     media="(prefers-color-scheme: dark)">
 
-  {% include head_nav.html %}
+<link rel="stylesheet" href="{{ '/assets/css/just-the-docs-head-nav.css' | relative_url }}" id="jtd-head-nav-stylesheet">
+
+<style id="jtd-nav-activation">
+  {% include css/activation.scss.liquid %}
+  </style>
 
   {% if site.ga_tracking != nil %}
   {% assign ga_tracking_ids = site.ga_tracking | split: "," %}
   <script async src="https://www.googletagmanager.com/gtag/js?id={{ ga_tracking_ids.first }}"></script>
   <script>
     window.dataLayer = window.dataLayer || [];
-    function gtag() { dataLayer.push(arguments); }
+    function gtag(){dataLayer.push(arguments);}
     gtag('js', new Date());
 
     {% for ga_property in ga_tracking_ids %}